public class Null extends Value
| Constructor and Description |
|---|
Null() |
| 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, UnknownValueException
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.UnknownValueExceptionpublic boolean gte(Value v, Type t) throws java.lang.UnsupportedOperationException, UnknownValueException
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.UnknownValueExceptionpublic boolean lt(Value v, Type t) throws java.lang.UnsupportedOperationException, UnknownValueException
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.UnknownValueExceptionpublic boolean lte(Value v, Type t) throws java.lang.UnsupportedOperationException, UnknownValueException
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.UnknownValueExceptionpublic boolean in(Value v, Type t) throws java.lang.UnsupportedOperationException, UnknownValueException
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.UnknownValueExceptionpublic boolean notin(Value v, Type t) throws java.lang.UnsupportedOperationException, UnknownValueException
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.UnknownValueExceptionpublic boolean supset(Value v, Type t) throws java.lang.UnsupportedOperationException, UnknownValueException
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.UnknownValueExceptionpublic boolean subset(Value v, Type t) throws java.lang.UnsupportedOperationException, UnknownValueException
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.UnknownValueExceptionpublic boolean sim(Value v, Type t) throws java.lang.UnsupportedOperationException, UnknownValueException
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.UnknownValueExceptionpublic boolean notsim(Value v, Type t) throws java.lang.UnsupportedOperationException, UnknownValueException
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.UnknownValueExceptionpublic Value intersect(Value v, Type t) throws java.lang.UnsupportedOperationException, UnknownValueException
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.UnknownValueExceptionpublic Value union(Value v, Type t) throws java.lang.UnsupportedOperationException, UnknownValueException
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.UnknownValueExceptionpublic Value except(Value v, Type t) throws java.lang.UnsupportedOperationException, UnknownValueException
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.UnknownValueExceptionpublic Value mul(Value v, Type t) throws java.lang.UnsupportedOperationException, UnknownValueException
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.UnknownValueExceptionpublic Value sub(Value v, Type t) throws java.lang.UnsupportedOperationException, UnknownValueException
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.UnknownValueExceptionpublic Value div(Value v, Type t) throws java.lang.UnsupportedOperationException, UnknownValueException
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.UnknownValueExceptionpublic Value add(Value v, Type t) throws java.lang.UnsupportedOperationException, UnknownValueException
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.UnknownValueExceptionpublic 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