public class RelationAtMost extends Relation
Constructor | Description |
---|---|
RelationAtMost(Field referenceValue) |
Constructor for RelationAtMost class
|
Modifier and Type | Method | Description |
---|---|---|
Relation |
duplicate() |
Returns duplicate of this relation, which is fully independent of this relation.
|
boolean |
equals(java.lang.Object arg0) |
Checks equivalence of this relation and given object
|
boolean |
fulfilledBy(Field value) |
Checks if given value fulfills this relation.
|
int |
hashCode() |
Provides hash code of this relation
|
java.lang.String |
toString() |
Gets textual form of this relation.
|
getReferenceValue, setReferenceValue
public RelationAtMost(Field referenceValue)
referenceValue
- Reference value for this relation. This is for example 5 in expression f1(x) <= 5.public boolean fulfilledBy(Field value)
fulfilledBy
in class Relation
value
- field's value that should be compared with reference value stored in this classtrue
if reference value fulfills this relation, false
otherwiseInvalidTypeException
- when types of passed value and reference value stored in this class are differentpublic java.lang.String toString()
Relation.toString
method.public Relation duplicate()
Relation.duplicate
method.public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object arg0)
equals
in class java.lang.Object
arg0
- object to be compared with this relationtrue
if given object is equal to this relation; false
otherwisejava.lang.NullPointerException
- when given object is null