Symbolics::subtractTermFromConstant() - Code Metrics - Cmytxy/kiwi-php - Measure and Improve Code Quality continuously with Scrutinizer

Symbolics::subtractTermFromConstant() A
last analyzed 2018-10-30 19:26 UTC

↳ Parent: Symbolics
Complexity

Conditions	1
Paths	1
Size

Total Lines	3
Code Lines	1
Duplication

Lines	0
Ratio	0 %
Code Coverage

Tests	0
CRAP Score	2
Importance

Changes
Metric	Value
cc	1
eloc	1
nc	1
nop	2
dl	0
loc	3
ccs	0
cts	2
cp	0
crap	2
rs	10
c	0
b	0
f	0
<?php
declare(strict_types=1);

namespace Ctefan\Kiwi;

use Ctefan\Kiwi\Exception\NonlinearExpressionException;

class Symbolics
{
    /**
     * Symbolics constructor.
     */
    protected function __construct()
    {
    }

    /**
     * @param mixed $a
     * @param mixed $b
     * @return mixed
     */
    static public function multiply($a, $b)
    {
        return self::_callMethodForArguments($a, $b, 'multiply%sWith%s');
    }

    /**
     * @param mixed $a
     * @param mixed $b
     * @return mixed
     */
    static public function divide($a, $b)
    {
        return self::_callMethodForArguments($a, $b, 'divide%2$sBy$1$s');
    }

    /**
     * @param mixed $subject
     * @return mixed
     */
    static public function negate($subject)
    {
        return self::_callMethodForArguments($subject, null, 'negate%s');
    }

    /**
     * @param mixed $a
     * @param mixed $b
     * @return Expression
     */
    static public function add($a, $b): Expression
    {
        return self::_callMethodForArguments($a, $b, 'add%2$sTo%1$s');
    }

    /**
     * @param mixed $a
     * @param mixed $b
     * @return Expression
     */
    static public function subtract($a, $b): Expression
    {
        return self::_callMethodForArguments($a, $b, 'subtract$2$sFrom%1$s');
    }

    /**
     * @param mixed $a
     * @param mixed $b
     * @return Constraint
     */
    static public function equals($a, $b): Constraint
    {
        return self::_callMethodForArguments($a, $b, 'equals%s%s');
    }

    /**
     * @param mixed $a
     * @param mixed $b
     * @return Constraint
     */
    static public function lessThanOrEquals($a, $b): Constraint
    {
        return self::_callMethodForArguments($a, $b, 'lessThanOrEquals%s%s');

    }

    /**
     * @param mixed $a
     * @param mixed $b
     * @return Constraint
     */
    static public function greaterThanOrEquals($a, $b): Constraint
    {
        return self::_callMethodForArguments($a, $b, 'greaterThanOrEquals%s%s');
    }

    /**
     * @var array
     */
    static private $names = [
        Expression::class => 'Expression',
        Term::class => 'Term',
        Variable::class => 'Variable',
        'double' => 'Constant',
        'integer' => 'Constant',
        'NULL' => '',
    ];

    /**
     * @param mixed $a
     * @param mixed $b
     * @param string $format
     * @return mixed
     */
    static private function _callMethodForArguments($a, $b, string $format)
    {
        // TODO check for invalid argument types
        $methodName = sprintf(
            $format,
            self::$names[is_object($a) ? get_class($a) : gettype($a)],
            self::$names[is_object($b) ? get_class($b) : gettype($b)]
        );
        if (false === method_exists(self::class, $methodName)) {
            throw new \InvalidArgumentException("Method $methodName does not exist.");
        }
        return self::$methodName($a, $b);
    }


    /*
     * Term factory methods.
     */

    /**
     * @param Variable $variable
     * @param float $coefficient
     * @return Term
     */
    static public function multiplyVariableWithConstant(Variable $variable, float $coefficient): Term
    {
        return new Term($variable, $coefficient);
    }

    /**
     * @param Variable $variable
     * @param float $denominator
     * @return Term
     */
    static public function divideVariableByConstant(Variable $variable, float $denominator): Term
    {
        return self::multiplyVariableWithConstant($variable, 1.0 / $denominator);
    }

    /**
     * @param Variable $variable
     * @return Term
     */
    static public function negateVariable(Variable $variable): Term
    {
        return self::multiply($variable, -1.0);
    }

    /**
     * @param Term $term
     * @param float $coefficient
     * @return Term
     */
    static public function multiplyTermWithConstant(Term $term, float $coefficient): Term
    {
        return new Term($term->getVariable(), $term->getCoefficient() * $coefficient);
    }

    /**
     * @param Term $term
     * @param float $denominator
     * @return Term
     */
    static public function divideTermByConstant(Term $term, float $denominator): Term
    {
        return self::multiplyTermWithConstant($term, 1.0 / $denominator);
    }

    /**
     * @param Term $term
     * @return Term
     */
    static public function negateTerm(Term $term): Term
    {
        return self::multiplyTermWithConstant($term, -1.0);
    }


    /*
     * Expression factory methods.
     */

    /**
     * @param Expression $expression
     * @param float $coefficient
     * @return Expression
     */
    static public function multiplyExpressionWithConstant(Expression $expression, float $coefficient): Expression
    {
        $terms = [];
        foreach ($expression->getTerms() as $term) {
            $terms[] = self::multiplyTermWithConstant($term, $coefficient);
        }
        return new Expression($terms, $expression->getConstant() * $coefficient);
    }

    /**
     * @param Expression $a
     * @param Expression $b
     * @return Expression
     * @throws NonlinearExpressionException
     */
    static public function multiplyExpressionWithExpression(Expression $a, Expression $b): Expression
    {
        if (true === $a->isConstant()) {
            return self::multiplyExpressionWithConstant($b, $a->getConstant());
        } elseif (true === $b->isConstant()) {
            return self::multiplyExpressionWithConstant($a, $b->getConstant());
        } else {
            throw new NonlinearExpressionException();
        }
    }

    /**
     * @param Expression $expression
     * @param float $denominator
     * @return Expression
     */
    static public function divideExpressioByConstant(Expression $expression, float $denominator): Expression
    {
        return self::multiplyExpressionWithConstant($expression, 1.0 / $denominator);
    }

    /**
     * @param Expression $a
     * @param Expression $b
     * @return Expression
     * @throws NonlinearExpressionException
     */
    static public function divideExpressionByExpression(Expression $a, Expression $b): Expression
    {
        if (true === $b->isConstant()) {
            return self::divideExpressioByConstant($a, $b->getConstant());
        } else {
            throw new NonlinearExpressionException();
        }
    }

    /**
     * @param Expression $expression
     * @return Expression
     */
    static public function negateExpression(Expression $expression): Expression
    {
        return self::multiplyExpressionWithConstant($expression, -1.0);
    }

    /**
     * @param Expression $a
     * @param Expression $b
     * @return Expression
     */
    static public function addExpressionToExpression(Expression $a, Expression $b): Expression
    {
        $terms = array_merge($a->getTerms(), $b->getTerms());
        return new Expression($terms, $a->getConstant() + $b->getConstant());
    }

    /**
     * @param Expression $expression
     * @param Term $term
     * @return Expression
     */
    static public function addTermToExpression(Expression $expression, Term $term): Expression
    {
        $terms = $expression->getTerms();
        $terms[] = $term;
        return new Expression($terms, $expression->getConstant());
    }

    /**
     * @param Expression $expression
     * @param Variable $variable
     * @return Expression
     */
    static public function addVariableToExpression(Expression $expression, Variable $variable): Expression
    {
        return self::addTermToExpression($expression, new Term($variable));
    }

    /**
     * @param Expression $expression
     * @param float $constant
     * @return Expression
     */
    static public function addConstantToExpression(Expression $expression, float $constant): Expression
    {
        return new Expression($expression->getTerms(), $expression->getConstant() + $constant);
    }

    /**
     * @param Expression $a
     * @param Expression $b
     * @return Expression
     */
    static public function subtractExpressionFromExpression(Expression $a, Expression $b): Expression
    {
        return self::addExpressionToExpression($a, self::negateExpression($b));
    }

    /**
     * @param Expression $expression
     * @param Term $term
     * @return Expression
     */
    static public function subtractTermFromExpression(Expression $expression, Term $term): Expression
    {
        return self::addTermToExpression($expression, self::negateTerm($term));
    }

    /**
     * @param Expression $expression
     * @param Variable $variable
     * @return Expression
     */
    static public function subtractVariableFromExpression(Expression $expression, Variable $variable): Expression
    {
        return self::addTermToExpression($expression, self::negateVariable($variable));
    }

    /**
     * @param Expression $expression
     * @param float $constant
     * @return Expression
     */
    static public function subtractConstantFromExpression(Expression $expression, float $constant): Expression
    {
        return self::addConstantToExpression($expression, -$constant);
    }

    /**
     * @param Term $term
     * @param Expression $expression
     * @return Expression
     */
    static public function addExpressionToTerm(Term $term, Expression $expression): Expression
    {
        return self::addTermToExpression($expression, $term);
    }

    /**
     * @param Term $a
     * @param Term $b
     * @return Expression
     */
    static public function addTermToTerm(Term $a, Term $b): Expression
    {
        $terms = [$a, $b];
        return new Expression($terms);
    }

    /**
     * @param Term $term
     * @param Variable $variable
     * @return Expression
     */
    static public function addVariableToTerm(Term $term, Variable $variable): Expression
    {
        return self::addTermToTerm($term, new Term($variable));
    }

    /**
     * @param Term $term
     * @param float $constant
     * @return Expression
     */
    static public function addConstantToTerm(Term $term, float $constant): Expression
    {
        return new Expression([$term], $constant);
    }

    /**
     * @param Term $term
     * @param Expression $expression
     * @return Expression
     */
    static public function subtractExpressionFromTerm(Term $term, Expression $expression): Expression
    {
        return self::addTermToExpression(self::negateExpression($expression), $term);
    }

    /**
     * @param Term $a
     * @param Term $b
     * @return Expression
     */
    static public function subtractTermFromTerm(Term $a, Term $b): Expression
    {
        return self::addTermToTerm($a, self::negateTerm($b));
    }

    /**
     * @param Term $term
     * @param Variable $variable
     * @return Expression
     */
    static public function subtractVariableFromTerm(Term $term, Variable $variable): Expression
    {
        return self::addTermToTerm($term, self::negateVariable($variable));
    }

    /**
     * @param Term $term
     * @param float $constant
     * @return Expression
     */
    static public function subtractConstantFromTerm(Term $term, float $constant): Expression
    {
        return self::addConstantToTerm($term, -$constant);
    }

    /**
     * @param Variable $variable
     * @param Expression $expression
     * @return Expression
     */
    static public function addExpressionToVariable(Variable $variable, Expression $expression): Expression
    {
        return self::addVariableToExpression($expression, $variable);
    }

    /**
     * @param Variable $variable
     * @param Term $term
     * @return Expression
     */
    static public function addTermToVariable(Variable $variable, Term $term): Expression
    {
        return self::addVariableToTerm($term, $variable);
    }

    /**
     * @param Variable $a
     * @param Variable $b
     * @return Expression
     */
    static public function addVariableToVariable(Variable $a, Variable $b): Expression
    {
        return self::addVariableToTerm(new Term($a), $b);
    }

    /**
     * @param Variable $variable
     * @param float $constant
     * @return Expression
     */
    static public function addConstantToVariable(Variable $variable, float $constant): Expression
    {
        return self::addConstantToTerm(new Term($variable), $constant);
    }

    /**
     * @param Variable $variable
     * @param Expression $expression
     * @return Expression
     */
    static public function subtractExpressionFromVariable(Variable $variable, Expression $expression): Expression
    {
        return self::addExpressionToVariable($variable, self::negateExpression($expression));
    }

    /**
     * @param Variable $variable
     * @param Term $term
     * @return Expression
     */
    static public function subtractTermFromVariable(Variable $variable, Term $term): Expression
    {
        return self::addTermToVariable($variable, self::negateTerm($term));
    }

    /**
     * @param Variable $a
     * @param Variable $b
     * @return Expression
     */
    static public function subtractVariableFromVariable(Variable $a, Variable $b): Expression
    {
        return self::addTermToVariable($a, self::negateVariable($b));
    }

    /**
     * @param Variable $variable
     * @param float $constant
     * @return Expression
     */
    static public function subtractConstantFromVariable(Variable $variable, float $constant): Expression
    {
        return self::addConstantToVariable($variable, -$constant);
    }

    /**
     * @param float $constant
     * @param Expression $expression
     * @return Expression
     */
    static public function addExpressionToConstant(float $constant, Expression $expression): Expression
    {
        return self::addConstantToExpression($expression, $constant);
    }

    /**
     * @param float $constant
     * @param Term $term
     * @return Expression
     */
    static public function addTermToConstant(float $constant, Term $term): Expression
    {
        return self::addConstantToTerm($term, $constant);
    }

    /**
     * @param float $constant
     * @param Variable $variable
     * @return Expression
     */
    static public function addVariableToConstant(float $constant, Variable $variable): Expression
    {
        return self::addConstantToVariable($variable, $constant);
    }

    /**
     * @param float $constant
     * @param Expression $expression
     * @return Expression
     */
    static public function subtractExpressionFromConstant(float $constant, Expression $expression): Expression
    {
        return self::addConstantToExpression(self::negateExpression($expression), $constant);
    }

    /**
     * @param float $constant
     * @param Term $term
     * @return Expression
     */
    static public function subtractTermFromConstant(float $constant, Term $term): Expression
    {
        return self::addConstantToTerm(self::negateTerm($term), $constant);
    }

    /**
     * @param float $constant
     * @param Variable $variable
     * @return Expression
     */
    static public function subtractVariableFromConstant(float $constant, Variable $variable): Expression
    {
        return self::addConstantToTerm(self::negateVariable($variable), $constant);
    }


    /*
     * Constraint factory methods.
     */

    /**
     * @param Expression $a
     * @param Expression $b
     * @return Constraint
     */
    static public function equalsExpressionExpression(Expression $a, Expression $b): Constraint
    {
        return new Constraint(self::subtractExpressionFromExpression($a, $b), RelationalOperator::EQ);
    }

    /**
     * @param Expression $expression
     * @param Term $term
     * @return Constraint
     */
    static public function equalsExpressionTerm(Expression $expression, Term $term): Constraint
    {
        return self::equalsExpressionExpression($expression, Expression::createFromTerm($term));
    }

    /**
     * @param Expression $expression
     * @param Variable $variable
     * @return Constraint
     */
    static public function equalsExpressionVariable(Expression $expression, Variable $variable): Constraint
    {
        return self::equalsExpressionTerm($expression, new Term($variable));
    }

    /**
     * @param Expression $expression
     * @param float $constant
     * @return Constraint
     */
    static public function equalsExpressionConstant(Expression $expression, float $constant): Constraint
    {
        return self::equalsExpressionExpression($expression, new Expression([], $constant));
    }

    /**
     * @param Expression $a
     * @param Expression $b
     * @return Constraint
     */
    static public function lessThanOrEqualsExpressionExpression(Expression $a, Expression $b): Constraint
    {
        return new Constraint(self::subtractExpressionFromExpression($a, $b), RelationalOperator::LE);
    }

    /**
     * @param Expression $expression
     * @param Term $term
     * @return Constraint
     */
    static public function lessThanOrEqualsExpressionTerm(Expression $expression, Term $term): Constraint
    {
        return self::lessThanOrEqualsExpressionExpression($expression, Expression::createFromTerm($term));
    }

    /**
     * @param Expression $expression
     * @param Variable $variable
     * @return Constraint
     */
    static public function lessThanOrEqualsExpressionVariable(Expression $expression, Variable $variable): Constraint
    {
        return self::lessThanOrEqualsExpressionTerm($expression, new Term($variable));
    }

    /**
     * @param Expression $expression
     * @param float $constant
     * @return Constraint
     */
    static public function lessThanOrEqualsExpressionConstant(Expression $expression, float $constant): Constraint
    {
        return self::lessThanOrEqualsExpressionExpression($expression, new Expression([], $constant));
    }

    /**
     * @param Expression $a
     * @param Expression $b
     * @return Constraint
     */
    static public function greaterThanOrEqualsExpressionExpression(Expression $a, Expression $b): Constraint
    {
        return new Constraint(self::subtractExpressionFromExpression($a, $b), RelationalOperator::GE);
    }

    /**
     * @param Expression $expression
     * @param Term $term
     * @return Constraint
     */
    static public function greaterThanOrEqualsExpressionTerm(Expression $expression, Term $term): Constraint
    {
        return self::greaterThanOrEqualsExpressionExpression($expression, Expression::createFromTerm($term));
    }

    /**
     * @param Expression $expression
     * @param Variable $variable
     * @return Constraint
     */
    static public function greaterThanOrEqualsExpressionVariable(Expression $expression, Variable $variable): Constraint
    {
        return self::greaterThanOrEqualsExpressionTerm($expression, new Term($variable));
    }

    /**
     * @param Expression $expression
     * @param float $constant
     * @return Constraint
     */
    static public function greaterThanOrEqualsExpressionConstant(Expression $expression, float $constant): Constraint
    {
        return self::greaterThanOrEqualsExpressionExpression($expression, new Expression([], $constant));
    }

    /**
     * @param Term $term
     * @param Expression $expression
     * @return Constraint
     */
    static public function equalsTermExpression(Term $term, Expression $expression): Constraint
    {
        return self::equalsExpressionExpression(Expression::createFromTerm($term), $expression);
    }

    /**
     * @param Term $a
     * @param Term $b
     * @return Constraint
     */
    static public function equalsTermTerm(Term $a, Term $b): Constraint
    {
        return self::equalsExpressionTerm(Expression::createFromTerm($a), $b);
    }

    /**
     * @param Term $term
     * @param Variable $variable
     * @return Constraint
     */
    static public function equalsTermVariable(Term $term, Variable $variable): Constraint
    {
        return self::equalsExpressionVariable(Expression::createFromTerm($term), $variable);
    }

    /**
     * @param Term $term
     * @param float $constant
     * @return Constraint
     */
    static public function equalsTermConstant(Term $term, float $constant): Constraint
    {
        return self::equalsExpressionConstant(Expression::createFromTerm($term), $constant);
    }

    /**
     * @param Term $term
     * @param Expression $expression
     * @return Constraint
     */
    static public function lessThanOrEqualsTermExpression(Term $term, Expression $expression): Constraint
    {
        return self::lessThanOrEqualsExpressionExpression(Expression::createFromTerm($term), $expression);
    }

    /**
     * @param Term $a
     * @param Term $b
     * @return Constraint
     */
    static public function lessThanOrEqualsTermTerm(Term $a, Term $b): Constraint
    {
        return self::lessThanOrEqualsExpressionTerm(Expression::createFromTerm($a), $b);
    }

    /**
     * @param Term $term
     * @param Variable $variable
     * @return Constraint
     */
    static public function lessThanOrEqualsTermVariable(Term $term, Variable $variable): Constraint
    {
        return self::lessThanOrEqualsExpressionVariable(Expression::createFromTerm($term), $variable);
    }

    /**
     * @param Term $term
     * @param float $constant
     * @return Constraint
     */
    static public function lessThanOrEqualsTermConstant(Term $term, float $constant): Constraint
    {
        return self::lessThanOrEqualsExpressionConstant(Expression::createFromTerm($term), $constant);
    }

    /**
     * @param Term $term
     * @param Expression $expression
     * @return Constraint
     */
    static public function greaterThanOrEqualsTermExpression(Term $term, Expression $expression): Constraint
    {
        return self::greaterThanOrEqualsExpressionExpression(Expression::createFromTerm($term), $expression);
    }

    /**
     * @param Term $a
     * @param Term $b
     * @return Constraint
     */
    static public function greaterThanOrEqualsTermTerm(Term $a, Term $b): Constraint
    {
        return self::greaterThanOrEqualsExpressionTerm(Expression::createFromTerm($a), $b);
    }

    /**
     * @param Term $term
     * @param Variable $variable
     * @return Constraint
     */
    static public function greaterThanOrEqualsTermVariable(Term $term, Variable $variable): Constraint
    {
        return self::greaterThanOrEqualsExpressionVariable(Expression::createFromTerm($term), $variable);
    }

    /**
     * @param Term $term
     * @param float $constant
     * @return Constraint
     */
    static public function greaterThanOrEqualsTermConstant(Term $term, float $constant): Constraint
    {
        return self::greaterThanOrEqualsExpressionConstant(Expression::createFromTerm($term), $constant);
    }

    /**
     * @param Variable $variable
     * @param Expression $expression
     * @return Constraint
     */
    static public function equalsVariableExpression(Variable $variable, Expression $expression): Constraint
    {
        return self::equalsExpressionVariable($expression, $variable);
    }

    /**
     * @param Variable $variable
     * @param Term $term
     * @return Constraint
     */
    static public function equalsVariableTerm(Variable $variable, Term $term): Constraint
    {
        return self::equalsTermVariable($term, $variable);
    }

    /**
     * @param Variable $a
     * @param Variable $b
     * @return Constraint
     */
    static public function equalsVariableVariable(Variable $a, Variable $b): Constraint
    {
        return self::equalsTermVariable(new Term($a), $b);
    }

    /**
     * @param Variable $variable
     * @param float $constant
     * @return Constraint
     */
    static public function equalsVariableConstant(Variable $variable, float $constant): Constraint
    {
        return self::equalsTermConstant(new Term($variable), $constant);
    }

    /**
     * @param Variable $variable
     * @param Expression $expression
     * @return Constraint
     */
    static public function lessThanOrEqualsVariableExpression(Variable $variable, Expression $expression): Constraint
    {
        return self::lessThanOrEqualsTermExpression(new Term($variable), $expression);
    }

    /**
     * @param Variable $variable
     * @param Term $term
     * @return Constraint
     */
    static public function lessThanOrEqualsVariableTerm(Variable $variable, Term $term): Constraint
    {
        return self::lessThanOrEqualsTermTerm(new Term($variable), $term);
    }

    /**
     * @param Variable $a
     * @param Variable $b
     * @return Constraint
     */
    static public function lessThanOrEqualsVariableVariable(Variable $a, Variable $b): Constraint
    {
        return self::lessThanOrEqualsTermVariable(new Term($a), $b);
    }

    /**
     * @param Variable $variable
     * @param float $constant
     * @return Constraint
     */
    static public function lessThanOrEqualsVariableConstant(Variable $variable, float $constant): Constraint
    {
        return self::lessThanOrEqualsTermConstant(new Term($variable), $constant);
    }

    /**
     * @param Variable $variable
     * @param Expression $expression
     * @return Constraint
     */
    static public function greaterThanOrEqualsVariableExpression(Variable $variable, Expression $expression): Constraint
    {
        return self::greaterThanOrEqualsTermExpression(new Term($variable), $expression);
    }

    /**
     * @param Variable $variable
     * @param Term $term
     * @return Constraint
     */
    static public function greaterThanOrEqualsVariabeTerm(Variable $variable, Term $term): Constraint
    {
        return self::greaterThanOrEqualsTermTerm(new Term($variable), $term);
    }

    /**
     * @param Variable $a
     * @param Variable $b
     * @return Constraint
     */
    static public function greaterThanOrEqualsVariableVariable(Variable $a, Variable $b): Constraint
    {
        return self::greaterThanOrEqualsTermVariable(new Term($a), $b);
    }

    /**
     * @param Variable $variable
     * @param float $constant
     * @return Constraint
     */
    static public function greaterThanOrEqualsVariableConstant(Variable $variable, float $constant): Constraint
    {
        return self::greaterThanOrEqualsTermConstant(new Term($variable), $constant);
    }

    /**
     * @param float $constant
     * @param Expression $expression
     * @return Constraint
     */
    static public function equalsConstantExpression(float $constant, Expression $expression): Constraint
    {
        return self::equalsExpressionConstant($expression, $constant);
    }

    /**
     * @param float $constant
     * @param Term $term
     * @return Constraint
     */
    static public function equalsConstantTerm(float $constant, Term $term): Constraint
    {
        return self::equalsTermConstant($term, $constant);
    }

    /**
     * @param float $constant
     * @param Variable $variable
     * @return Constraint
     */
    static public function equalsConstantVariable(float $constant, Variable $variable): Constraint
    {
        return self::equalsVariableConstant($variable, $constant);
    }

    /**
     * @param float $constant
     * @param Expression $expression
     * @return Constraint
     */
    static public function lessThanOrEqualsConstantExpression(float $constant, Expression $expression): Constraint
    {
        return self::lessThanOrEqualsExpressionExpression(new Expression([], $constant), $expression);
    }

    /**
     * @param float $constant
     * @param Term $term
     * @return Constraint
     */
    static public function lessThanOrEqualsConstantTerm(float $constant, Term $term): Constraint
    {
        return self::lessThanOrEqualsExpressionTerm(new Expression([], $constant), $term);
    }

    /**
     * @param float $constant
     * @param Variable $variable
     * @return Constraint
     */
    static public function lessThanOrEqualsConstantVariable(float $constant, Variable $variable): Constraint
    {
        return self::lessThanOrEqualsExpressionVariable(new Expression([], $constant), $variable);
    }

    /**
     * @param float $constant
     * @param Expression $expression
     * @return Constraint
     */
    static public function greaterThanOrEqualsConstantExpression(float $constant, Expression $expression): Constraint
    {
        return self::greaterThanOrEqualsExpressionExpression(new Expression([], $constant), $expression);
    }

    /**
     * @param float $constant
     * @param Term $term
     * @return Constraint
     */
    static public function greaterThanOrEqualsConstantTerm(float $constant, Term $term): Constraint
    {
        return self::greaterThanOrEqualsExpressionTerm(new Expression([], $constant), $term);
    }

    /**
     * @param float $constant
     * @param Variable $variable
     * @return Constraint
     */
    static public function greaterThanOrEqualsConstantVariable(float $constant, Variable $variable): Constraint
    {
        return self::greaterThanOrEqualsExpressionVariable(new Expression([], $constant), $variable);
    }

    /**
     * @param Constraint $constraint
     * @param float $strength
     * @return Constraint
     */
    static public function modifyStrength(Constraint $constraint, float $strength): Constraint
    {
        return Constraint::createFromConstraint($constraint, $strength);
    }
}
Cmytxy / kiwi-php

Symbolics::subtractTermFromConstant() A last analyzed 2018-10-30 19:26 UTC

Complexity

Size

Duplication

Code Coverage

Importance

Duplication Side-by-Side

Filter issues like

Symbolics::subtractTermFromConstant() A
last analyzed 2018-10-30 19:26 UTC
