public class SimpleSymbolic extends Value
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
NOT_ORDERED_ERROR_MESSAGE |
| Constructor and Description |
|---|
SimpleSymbolic() |
SimpleSymbolic(SimpleSymbolic otherValue) |
SimpleSymbolic(java.lang.String value) |
SimpleSymbolic(java.lang.String value,
java.lang.Integer order) |
SimpleSymbolic(java.lang.String value,
java.lang.Integer order,
float certaintyFactor) |
| Modifier and Type | Method and Description |
|---|---|
Value |
clone() |
boolean |
eq(Value v,
Type t)
A method that should be used to compare two values for equality.
|
static SimpleSymbolic |
findInTheDomain(SimpleNumeric v,
Type t)
A method that searches for a value in a domain of
Type. |
static SimpleSymbolic |
findInTheDomain(SimpleSymbolic v,
Type t)
A method that searches for a value in a domain of
Type. |
static SimpleSymbolic |
findInTheDomain(Value v,
Type t)
A method that searches for a value in a domain of
Type. |
java.lang.Integer |
getOrder() |
java.lang.String |
getValue() |
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.
|
boolean |
isInTheDomain(Type t)
A method that searches for a value in a domain of
Type. |
boolean |
isOrdered() |
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.
|
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.
|
void |
setOrder(java.lang.Integer order) |
void |
setValue(java.lang.String value) |
java.lang.String |
toString() |
add, build, checkDomain, div, equals, evaluate, evaluateType, except, factorial, getCertaintyFactor, getTimestamp, intersect, mod, mul, notsim, pow, powerset, setCertaintyFactor, setTimestamp, sim, staticEvaluate, sub, subset, supset, unionpublic static final java.lang.String NOT_ORDERED_ERROR_MESSAGE
public SimpleSymbolic()
public SimpleSymbolic(java.lang.String value)
public SimpleSymbolic(java.lang.String value,
java.lang.Integer order)
public SimpleSymbolic(java.lang.String value,
java.lang.Integer order,
float certaintyFactor)
public SimpleSymbolic(SimpleSymbolic otherValue)
public boolean eq(Value v, Type t) throws java.lang.UnsupportedOperationException, NotInTheDomainException
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.NotInTheDomainExceptionpublic boolean neq(Value v, Type t) throws java.lang.UnsupportedOperationException, NotInTheDomainException
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.NotInTheDomainExceptionpublic boolean gt(Value v, Type t) throws java.lang.UnsupportedOperationException, NotInTheDomainException, 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.NotInTheDomainExceptionUnknownValueExceptionpublic boolean gte(Value v, Type t) throws java.lang.UnsupportedOperationException, NotInTheDomainException, 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.NotInTheDomainExceptionUnknownValueExceptionpublic boolean lt(Value v, Type t) throws java.lang.UnsupportedOperationException, NotInTheDomainException, 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.NotInTheDomainExceptionUnknownValueExceptionpublic boolean lte(Value v, Type t) throws java.lang.UnsupportedOperationException, NotInTheDomainException, 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.NotInTheDomainExceptionUnknownValueExceptionpublic boolean in(Value v, Type t) throws java.lang.UnsupportedOperationException, NotInTheDomainException, 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.NotInTheDomainExceptionUnknownValueExceptionpublic boolean notin(Value v, Type t) throws java.lang.UnsupportedOperationException, NotInTheDomainException, 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.NotInTheDomainExceptionUnknownValueExceptionpublic java.lang.String getValue()
public void setValue(java.lang.String value)
public java.lang.Integer getOrder()
public void setOrder(java.lang.Integer order)
public java.lang.String toString()
toString in class java.lang.Objectpublic boolean isOrdered()
public static SimpleSymbolic findInTheDomain(Value v, Type t)
Type. The
method will return the value with its ordered number if exists.v - a value to be searched in the domaint - a type that contains a valuepublic static SimpleSymbolic findInTheDomain(SimpleSymbolic v, Type t)
Type. This is
useful if ordered field in SimpleSymbolic value is not known. The
method will return the value with its ordered number if exists.v - a value to be searched in the domaint - a type that contains a valuepublic static SimpleSymbolic findInTheDomain(SimpleNumeric v, Type t)
Type. This is
useful if symbolic field in SimpleSymbolic value is not known.
The method will return the value with its symbolic number if exists.v - a value to be searched in the domaint - a type that contains a valuepublic 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