org.evosuite.symbolic.expr

Class RealConstraint

java.lang.Object

org.evosuite.symbolic.expr.Constraint<Double>

org.evosuite.symbolic.expr.RealConstraint

All Implemented Interfaces:

Serializable

public final class RealConstraint
extends Constraint<Double>

See Also:

Serialized Form

Field Summary

Fields inherited from class org.evosuite.symbolic.expr.Constraint

size

Constructor Summary

Constructors

Constructor and Description
RealConstraint(Expression<Double> left, Comparator cmp, Expression<Double> right) Constructor for RealConstraint.

Method Summary

Modifier and Type	Method and Description
<K,V> K	accept(ConstraintVisitor<K,V> v, V arg)
Comparator	getComparator() getComparator
Expression<Double>	getLeftOperand() getLeftOperand
Expression<Double>	getRightOperand() getRightOperand
Constraint<Double>	negate()
String	toString()

Methods inherited from class org.evosuite.symbolic.expr.Constraint

equals, getConstants, getSize, getVariables, hashCode, isSolveable, normalize

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

RealConstraint

public RealConstraint(Expression<Double> left,
                      Comparator cmp,
                      Expression<Double> right)

Constructor for RealConstraint.

Parameters:

left - a Expression object.

cmp - a Comparator object.

right - a Expression object.

Method Detail

getComparator

public Comparator getComparator()

getComparator

Specified by:

getComparator in class Constraint<Double>

Returns:

a Comparator object.

getLeftOperand

public Expression<Double> getLeftOperand()

getLeftOperand

Specified by:

getLeftOperand in class Constraint<Double>

Returns:

a Expression object.

getRightOperand

public Expression<Double> getRightOperand()

getRightOperand

Specified by:

getRightOperand in class Constraint<Double>

Returns:

a Expression object.

toString

public String toString()

Overrides:

toString in class Object

negate

public Constraint<Double> negate()

Specified by:

negate in class Constraint<Double>

accept

public <K,V> K accept(ConstraintVisitor<K,V> v,
                      V arg)

Specified by:

accept in class Constraint<Double>