Packages

p

cspom

compiler

package compiler

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. trait ACCSE[PairExp] extends ProblemCompiler with LazyLogging
  2. final class CSPOMCompiler extends LazyLogging

    This class implements some known useful reformulation rules.

  3. trait Compiler extends AnyRef
  4. trait ConstraintCompiler extends Compiler with LazyLogging
  5. trait ConstraintCompilerNoData extends ConstraintCompiler
  6. case class Delta extends Product with Serializable
  7. abstract class GlobalCompiler extends ConstraintCompiler

    Facilities to write easy compilers easily

  8. trait ProblemCompiler extends Compiler
  9. class QueueSet extends AnyRef
  10. class ReduceRelations extends ConstraintCompilerNoData with LazyLogging

    Detects and removes constants from extensional constraints

  11. trait Types extends ConstraintCompiler
  12. 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