package compiler
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
-
final
class
CSPOMCompiler extends LazyLogging
This class implements some known useful reformulation rules.
- trait ConstraintCompiler extends LazyLogging
- trait ConstraintCompilerNoData extends ConstraintCompiler
- case class Delta extends Product with Serializable
-
abstract
class
GlobalCompiler extends ConstraintCompiler
Facilities to write easy compilers easily
- class QueueSet extends AnyRef
-
class
ReduceRelations extends ConstraintCompilerNoData with LazyLogging
Detects and removes constants from extensional constraints
- trait Types extends ConstraintCompiler
- abstract class VariableCompiler extends ConstraintCompiler
Value Members
- object CSPOMCompiler
- object CSPOMTypes extends Types
- object ConstraintCompiler extends LazyLogging
- object Ctr
- object Delta extends Serializable
-
object
MergeEq extends ConstraintCompilerNoData with LazyLogging
If given constraint is an all-equal constraint, merges and removes all auxiliary variables.
-
object
MergeRelationsDepths extends ConstraintCompilerNoData with LazyLogging
Detects and removes constants from extensional constraints
-
object
MergeSame extends ConstraintCompiler
Find and merge auxiliary variables similary defined by other constraints
- object RemoveUselessEq extends ConstraintCompiler
- object SplitEqVec extends ConstraintCompiler
- object StandardCompilers