org.evosuite.symbolic.expr

Class Constraint<T>

java.lang.Object

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

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

IntegerConstraint, RealConstraint, StringConstraint

public abstract class Constraint<T>
extends Object
implements Serializable

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected int	size

Constructor Summary

Constructors

Constructor and Description
Constraint()

Method Summary

Modifier and Type	Method and Description
abstract <K,V> K	accept(ConstraintVisitor<K,V> v, V arg)
boolean	equals(Object obj)
abstract Comparator	getComparator() getComparator
Set<Object>	getConstants()
abstract Expression<?>	getLeftOperand() getLeftOperand
abstract Expression<?>	getRightOperand() getRightOperand
int	getSize() Getter for the field size.
Set<Variable<?>>	getVariables()
int	hashCode()
boolean	isSolveable() Sound but not complete
abstract Constraint<T>	negate()
protected static double	normalize(double x) Returns x/(x+1)

Methods inherited from class java.lang.Object

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

Field Detail

size

protected int size

Constructor Detail

Constraint

public Constraint()

Method Detail

getComparator

public abstract Comparator getComparator()

getComparator

Type Parameters:

T - a T object.

Returns:

a Comparator object.

getLeftOperand

public abstract Expression<?> getLeftOperand()

getLeftOperand

Returns:

a Expression object.

getRightOperand

public abstract Expression<?> getRightOperand()

getRightOperand

Returns:

a Expression object.

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getSize

public int getSize()

Getter for the field size.

Returns:

a int.

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

isSolveable

public boolean isSolveable()

Sound but not complete

Returns:

a boolean.

negate

public abstract Constraint<T> negate()

normalize

protected static double normalize(double x)

Returns x/(x+1)

Parameters:

x -

Returns:

a normalized double value

getVariables

public Set<Variable<?>> getVariables()

getConstants

public Set<Object> getConstants()

accept

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