Package

compiler

Permalink

package compiler

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
case class QueueSet(present: BitVector, first: Int) extends Product with Serializable
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 MergeSame extends ConstraintCompiler

Find and merge auxiliary variables similary defined by other constraints
object QueueSet extends Serializable
object RemoveUselessEq extends ConstraintCompiler
object SplitAllEq extends ConstraintCompilerNoData
object SplitEqVec extends ConstraintCompiler
object StandardCompilers

Ungrouped