Enum ConstraintKind
- java.lang.Object
-
- java.lang.Enum<ConstraintKind>
-
- ru.ispras.fortress.solver.constraint.ConstraintKind
-
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Comparable<ConstraintKind>
public enum ConstraintKind extends java.lang.Enum<ConstraintKind>
The ConstraintKind enumeration describes constraint types.
-
-
Enum Constant Summary
Enum Constants Enum Constant Description FORMULA_BASED
Constant based on formula expressions.SAT4J_BASED
Constant based on Sat4j's CNF representation.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description SolverId
getDefaultSolverId()
Returns the identifier of the solver that should be used to solve constraints of the given type by default.java.lang.Class<?>
getInnerRepClass()
Returns the class used to describe internal representation of constraints of the given type.static ConstraintKind
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static ConstraintKind[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
FORMULA_BASED
public static final ConstraintKind FORMULA_BASED
Constant based on formula expressions.It is described by the Formula class and solved by the
Z3_TEXT
solver.
-
SAT4J_BASED
public static final ConstraintKind SAT4J_BASED
Constant based on Sat4j's CNF representation.It is described by the FormulaSat4j class and solved by the
SAT4J_API
solver.
-
-
Method Detail
-
values
public static ConstraintKind[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:for (ConstraintKind c : ConstraintKind.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static ConstraintKind valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)- Parameters:
name
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null
-
getInnerRepClass
public java.lang.Class<?> getInnerRepClass()
Returns the class used to describe internal representation of constraints of the given type.- Returns:
- Constraint internal representation class.
-
getDefaultSolverId
public SolverId getDefaultSolverId()
Returns the identifier of the solver that should be used to solve constraints of the given type by default.- Returns:
- Solver identifier.
-
-