public class Any extends Value
| Constructor and Description |
|---|
Any() |
| Modifier and Type | Method and Description |
|---|---|
Value |
add(Value v,
Type t)
A method that should be used to calculate sum between a value represented
by an object that calls the method and a value given as a parameter.
|
Value |
clone() |
Value |
div(Value v,
Type t)
A method that should be used to calculate integral between a value represented
by an object that calls the method and a value given as a parameter.
|
boolean |
eq(Value v,
Type t)
A method that should be used to compare two values for equality.
|
Value |
except(Value v,
Type t)
An abstract method that should be used to calculate set that subtracts the value given as the parameter from the set.
|
boolean |
gt(Value v,
Type t)
A method that should be used to compare two values.
|
boolean |
gte(Value v,
Type t)
A method that should be used to compare two values.
|
int |
hashCode() |
boolean |
in(Value v,
Type t)
An operator that should be used to check membership of a value of an object that calls the method
within a value given by the parameter.
|
Value |
intersect(Value v,
Type t)
A method that should be used to calculate intersection with the value given as a parameter.
|
boolean |
isInTheDomain(Type t)
A method that searches for a value in a domain of
Type. |
boolean |
lt(Value v,
Type t)
A method that should be used to compare two values.
|
boolean |
lte(Value v,
Type t)
A method that should be used to compare two values.
|
Value |
mul(Value v,
Type t)
A method that should be used to calculate multiplication between a value represented
by an object that calls the method and a value given as a parameter.
|
boolean |
neq(Value v,
Type t)
A method that should be used to compare two values for not equality.
|
boolean |
notin(Value v,
Type t)
An operator that should be used to check membership of a value of an object that calls the method
within a value given by the parameter.
|
boolean |
notsim(Value v,
Type t)
A method that should be used to check if the value has a nonempty intersection with a value given as a parameter.
|
boolean |
sim(Value v,
Type t)
A method that should be used to check if the value has a nonempty intersection with a value given as a parameter.
|
Value |
sub(Value v,
Type t)
A method that should be used to calculate difference between a value represented
by an object that calls the method and a value given as a parameter.
|
boolean |
subset(Value v,
Type t)
A method that should be used to check is the value is a subset of value given as a parameter.
|
boolean |
supset(Value v,
Type t)
A method that should be used to check if the value is a superset of a value given as a parameter.
|
java.lang.String |
toString() |
Value |
union(Value v,
Type t)
A method that should be used to calculate a sum of two sets.
|
build, checkDomain, equals, evaluate, evaluateType, factorial, getCertaintyFactor, getTimestamp, mod, pow, powerset, setCertaintyFactor, setTimestamp, staticEvaluatepublic boolean eq(Value v, Type t) throws java.lang.UnsupportedOperationException, NotInTheDomainException, UnknownValueException
ValueValue.ANY, function will return true immediately.eq in class Valuev - - a value to comparet - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.Value.ANY, false otherwise.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.NotInTheDomainExceptionUnknownValueExceptionpublic boolean neq(Value v, Type t) throws java.lang.UnsupportedOperationException, NotInTheDomainException, UnknownValueException
ValueValue.eq(heart.alsvfd.Value, heart.xtt.Type).neq in class Valuev - - a value to comparet - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.NotInTheDomainExceptionUnknownValueExceptionpublic boolean gt(Value v, Type t) throws java.lang.UnsupportedOperationException, NotInTheDomainException
ValueSimpleNumeric, but also in simple classes that introduce order in domain,
like SimpleSymbolic with ordered domain.gt in class Valuev - - a value to comparet - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.NotInTheDomainExceptionpublic boolean gte(Value v, Type t) throws java.lang.UnsupportedOperationException, NotInTheDomainException
ValueSimpleNumeric, but also in simple classes that introduce order in domain,
like SimpleSymbolic with ordered domain.gte in class Valuev - - a value to comparet - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.Value.ANY, false otherwise.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.NotInTheDomainExceptionpublic boolean lt(Value v, Type t) throws java.lang.UnsupportedOperationException, NotInTheDomainException
ValueSimpleNumeric, but also in simple classes that introduce order in domain,
like SimpleSymbolic with ordered domain.lt in class Valuev - - a value to comparet - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.NotInTheDomainExceptionpublic boolean lte(Value v, Type t) throws java.lang.UnsupportedOperationException, NotInTheDomainException
ValueSimpleNumeric, but also in simple classes that introduce order in domain,
like SimpleSymbolic with ordered domain.lte in class Valuev - - a value to comparet - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.Value.ANY, false otherwise.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.NotInTheDomainExceptionpublic boolean in(Value v, Type t) throws java.lang.UnsupportedOperationException
ValueSetValue.in in class Valuev - - a value to be processedt - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.public boolean notin(Value v, Type t) throws java.lang.UnsupportedOperationException
ValueValue.in(heart.alsvfd.Value, heart.xtt.Type).
The value of the parameter is intended to be a SetValue.notin in class Valuev - - a value to be processedt - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.public boolean supset(Value v, Type t) throws java.lang.UnsupportedOperationException
Valuesupset in class Valuev - - a value to be processed. Both values should be a sets, or ranges.t - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.public boolean subset(Value v, Type t) throws java.lang.UnsupportedOperationException
Valuesubset in class Valuev - - a value to be processed. Both values should be a sets, or ranges.t - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.public boolean sim(Value v, Type t) throws java.lang.UnsupportedOperationException
Valuesim in class Valuev - - a value to be processed. Both values should be sets or ranges.t - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.public boolean notsim(Value v, Type t) throws java.lang.UnsupportedOperationException
ValueValue.sim(heart.alsvfd.Value, heart.xtt.Type).notsim in class Valuev - - a value to be processed. Both values should be sets or ranges.t - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.public Value intersect(Value v, Type t) throws java.lang.UnsupportedOperationException
Valueintersect in class Valuev - - a value to be processed. Both values should be a sets, or ranges.t - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.public Value union(Value v, Type t) throws java.lang.UnsupportedOperationException, NotInTheDomainException
Valueunion in class Valuev - - a value to be processed. Both values should be a sets, or ranges.t - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.NotInTheDomainExceptionpublic Value except(Value v, Type t) throws java.lang.UnsupportedOperationException
Valueexcept in class Valuev - - a value to be processed. It can be both simple type or general type.t - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.public Value mul(Value v, Type t) throws java.lang.UnsupportedOperationException
Valuemul in class Valuev - - a value to be processed. It should be a numerical type.t - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.public Value sub(Value v, Type t) throws java.lang.UnsupportedOperationException
Valuesub in class Valuev - - a value to be processed. It should be a numerical type, or ordered symbolic.t - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.public Value div(Value v, Type t) throws java.lang.UnsupportedOperationException
Valuediv in class Valuev - - a value to be processed. It should be a numerical type.t - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.public Value add(Value v, Type t) throws java.lang.UnsupportedOperationException
Valueadd in class Valuev - - a value to be processed. It should be a numerical type, or ordered symbolic.t - - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.java.lang.UnsupportedOperationException - in cases when operator is not applicable to the values being parameters of the operation.public java.lang.String toString()
toString in class java.lang.Objectpublic boolean isInTheDomain(Type t)
ValueType.
This is useful if ordered field in SimpleSymbolic value is not known.
The method will return the value with its ordered number if exists.
If Null calls this method, false is always returned.
If Any calls this method true is returned if the domain is not empty.isInTheDomain in class Value