Packages

p

cspom

compiler

package compiler

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. final class CSPOMCompiler extends LazyLogging

    This class implements some known useful reformulation rules.

  2. trait ConstraintCompiler extends LazyLogging
  3. trait ConstraintCompilerNoData extends ConstraintCompiler
  4. case class Delta extends Product with Serializable
  5. abstract class GlobalCompiler extends ConstraintCompiler

    Facilities to write easy compilers easily

  6. class QueueSet extends AnyRef
  7. class ReduceRelations extends ConstraintCompilerNoData with LazyLogging

    Detects and removes constants from extensional constraints

  8. trait Types extends ConstraintCompiler
  9. abstract class VariableCompiler extends ConstraintCompiler

Value Members

  1. object CSPOMCompiler
  2. object CSPOMTypes extends Types

  3. object ConstraintCompiler extends LazyLogging
  4. object Ctr
  5. object Delta extends Serializable
  6. object MergeEq extends ConstraintCompilerNoData with LazyLogging

    If given constraint is an all-equal constraint, merges and removes all auxiliary variables.

  7. object MergeRelationsDepths extends ConstraintCompilerNoData with LazyLogging

    Detects and removes constants from extensional constraints

  8. object MergeSame extends ConstraintCompiler

    Find and merge auxiliary variables similary defined by other constraints

  9. object RemoveUselessEq extends ConstraintCompiler
  10. object SplitEqVec extends ConstraintCompiler
  11. object StandardCompilers

Ungrouped