Package org.xcsp.common

Class Types

java.lang.Object

org.xcsp.common.Types

public class Types
extends Object

Author:

Christophe Lecoutre

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Types.SpecialClass	The class that allows the user to define his own classes
static class	Types.StandardClass	The enum type describing the different standard classes that can be associated with XCSP3 elements.
static class	Types.TypeArithmeticOperator	The enum type specifying the different types of operators that can be used in elements .
static class	Types.TypeAtt	The enum type specifying the different types of attributes that may be encountered.
static class	Types.TypeChild	The enum type specifying the different types of child elements of constraints.
static class	Types.TypeCircuitableOperator
static interface	Types.TypeClass	The interface that denotes a class (XML/HTML meaning) that can be associated with any XCSP3 element
static class	Types.TypeCombination	The enum type specifying the different types of combination of objectives.
static class	Types.TypeConditionOperator	The enum type specifying the different types of operators that can be used in conditions.
static class	Types.TypeConditionOperatorRel	The enum type specifying the different types of relational operators that can be used in conditions.
static class	Types.TypeConditionOperatorSet	The enum type specifying the different types of set operators that can be used in conditions.
static class	Types.TypeCtr	The enum type specifying the different types of constraints and meta-constraints.
static class	Types.TypeEqNeOperator	The enum type specifying the two relational operators EQ and NE.
static class	Types.TypeExpr	The enum type specifying the different types of nodes that can be found in syntactic trees (built for intensional expressions).
static class	Types.TypeFlag	The enum type specifying the different flags that may be associated with some elements (e.g., constraints).
static class	Types.TypeFramework	The enum type specifying the different types of frameworks.
static class	Types.TypeLifting	The enum type specifying the different types of lifting operations (except matrix).
static class	Types.TypeLogicalOperator	The enum type specifying the different types of (non unary) logic operators.
static class	Types.TypeMeasure	The enum type specifying the different types of measures used by elements .
static class	Types.TypeObjective	The enum type specifying the different types of objectives.
static class	Types.TypeOperator	The enum type specifying the different types of operators that can be used in elements .
static class	Types.TypeOperatorRel	The different operators that can be used in elements , when a relational operator is expected.
static class	Types.TypeOperatorSet	The different operators that can be used in elements , when a set operator is expected.
static class	Types.TypeOptimization	The enum type specifying the different types of optimization (used for annotations).
static class	Types.TypeRank	The enum type specifying the different types of ranking used by constraints , , .
static class	Types.TypeReification	The enum type specifying the different types of reification.
static class	Types.TypeUnaryArithmeticOperator	The enum type specifying the different types of basic unary arithmetic (and logic) operators.
static class	Types.TypeUpDown	The enum type specifying the two directions 'Up' and 'Down'
static class	Types.TypeVar	The enum type describing the different types of variables.

Constructor Summary

Constructors

Constructor	Description
Types()

Method Summary

Modifier and Type	Method	Description
static <T extends Enum<T>> T	valueOf(Class<T> enumType, String name)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Types

public Types()

Method Detail

valueOf

public static <T extends Enum<T>> T valueOf(Class<T> enumType,
                                            String name)