Uses of Class
org.xcsp.common.Types.TypeExpr
-
Packages that use Types.TypeExpr Package Description org.xcsp.common org.xcsp.common.predicates -
-
Uses of Types.TypeExpr in org.xcsp.common
Methods in org.xcsp.common that return Types.TypeExpr Modifier and Type Method Description Types.TypeExpr
Types.TypeExpr. arithmeticInversion()
Returns the type denoting the arithmetic inversion of this type, if this type denotes a relational operator,null
otherwise.Types.TypeExpr
Types.TypeExpr. logicalInversion()
Returns the type denoting the logical inversion of this type, if this type denotes a a Boolean operator (that can be inverted when considering the current pool of constants),null
otherwise.Types.TypeExpr
Condition.ConditionPar. operatorTypeExpr()
Types.TypeExpr
Condition.ConditionRel. operatorTypeExpr()
Types.TypeExpr
Condition.ConditionSet. operatorTypeExpr()
Types.TypeExpr
Condition. operatorTypeExpr()
Types.TypeExpr
Types.TypeArithmeticOperator. toExpr()
The type fromTypeExpr
with the same name as this type, if it exists,null
otherwise.Types.TypeExpr
Types.TypeConditionOperatorRel. toExpr()
The type fromTypeExpr
with the same name as this type, if it exists,null
otherwise.Types.TypeExpr
Types.TypeConditionOperatorSet. toExpr()
The type fromTypeExpr
with the same name as this type, if it exists,null
otherwise.Types.TypeExpr
Types.TypeOperatorRel. toExpr()
The type fromTypeExpr
with the same name as this type.static Types.TypeExpr
Types.TypeExpr. valueOf(String name)
Returns the enum constant of this type with the specified name.static Types.TypeExpr[]
Types.TypeExpr. values()
Returns an array containing the constants of this enum type, in the order they are declared.Methods in org.xcsp.common with parameters of type Types.TypeExpr Modifier and Type Method Description boolean
Types.TypeExpr. notOneOf(Types.TypeExpr... types)
Returnstrue
iff this type is not one of the specified types.boolean
Types.TypeExpr. oneOf(Types.TypeExpr... types)
Returnstrue
iff this type is one of the specified types. -
Uses of Types.TypeExpr in org.xcsp.common.predicates
Fields in org.xcsp.common.predicates declared as Types.TypeExpr Modifier and Type Field Description Types.TypeExpr
XNode. type
The type of the node.Methods in org.xcsp.common.predicates that return Types.TypeExpr Modifier and Type Method Description Types.TypeExpr
XNode. getType()
Returns the type of the node.Methods in org.xcsp.common.predicates with parameters of type Types.TypeExpr Modifier and Type Method Description static XNodeParent<IVar>
XNodeParent. build(Types.TypeExpr type, Object... os)
static <V extends IVar>
XNodeParent<V>XNode. node(Types.TypeExpr type, List<XNode<V>> sons)
static <V extends IVar>
XNodeParent<V>XNode. node(Types.TypeExpr type, java.util.stream.Stream<XNode<V>> sons)
static <V extends IVar>
XNodeParent<V>XNode. node(Types.TypeExpr type, XNode<V> son)
static <V extends IVar>
XNodeParent<V>XNode. node(Types.TypeExpr type, XNode<V>[] sons)
static <V extends IVar>
XNodeParent<V>XNode. node(Types.TypeExpr type, XNode<V> left, XNode<V> right)
Constructors in org.xcsp.common.predicates with parameters of type Types.TypeExpr Constructor Description XNode(Types.TypeExpr type, XNode<V>[] sons)
Builds a node for a syntactic tree, with the specified type and the specified sons (children).XNodeLeaf(Types.TypeExpr type, Object... value)
Builds a leaf node for a syntactic tree, with the specified type and the specified value.XNodeParent(Types.TypeExpr type, List<XNode<V>> sons)
Builds a parent node for a syntactic tree, with the specified type and the specified sons.XNodeParent(Types.TypeExpr type, XNode<V> son)
Builds a parent node for a syntactic tree, with the specified type and the specified son.XNodeParent(Types.TypeExpr type, XNode<V>[] sons)
Builds a parent node for a syntactic tree, with the specified type and the specified sons.XNodeParent(Types.TypeExpr type, XNode<V> son1, XNode<V> son2)
Builds a parent node for a syntactic tree, with the specified type and the two specified sons.
-