Trait/Object

cspom.compiler

ConstraintCompiler

Related Docs: object ConstraintCompiler | package compiler

Permalink

trait ConstraintCompiler extends LazyLogging

Linear Supertypes
LazyLogging, AnyRef, Any
Known Subclasses
CSPOMTypes, ConstraintCompilerNoData, GlobalCompiler, MergeEq, MergeSame, ReduceRelations, RemoveUselessEq, SplitAllEq, SplitEqVec, Types, VariableCompiler
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ConstraintCompiler
  2. LazyLogging
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. abstract type A

    Permalink

Abstract Value Members

  1. abstract def compile(constraint: CSPOMConstraint[_], problem: CSPOM, matchData: A): Delta

    Permalink

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. def addCtr(c: Seq[CSPOMConstraint[_]], in: CSPOM): Delta

    Permalink

  5. def addCtr(c: CSPOMConstraint[_], in: CSPOM): Delta

    Permalink

  6. def applyDomain(v: SimpleExpression[Int], reduced: RangeSet[Infinitable]): SimpleExpression[Int]

    Permalink

  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  8. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  9. def constraintMatcher: PartialFunction[CSPOMConstraint[_], A]

    Permalink

  10. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  12. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  13. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  14. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  16. lazy val logger: Logger

    Permalink
    Attributes
    protected
    Definition Classes
    LazyLogging

  17. def matchConstraint(c: CSPOMConstraint[_]): Option[A]

    Permalink

  18. def matcher: PartialFunction[(CSPOMConstraint[_], CSPOM), A]

    Permalink

  19. def mtch(c: CSPOMConstraint[_], p: CSPOM): Option[A]

    Permalink

  20. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  21. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  22. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  23. def reduceDomain(v: SimpleExpression[Boolean], d: Boolean): SimpleExpression[Boolean]

    Permalink

  24. def reduceDomain(v: SimpleExpression[Int], d: RangeSet[Infinitable]): SimpleExpression[Int]

    Permalink

  25. def reduceDomain(v: SimpleExpression[Int], d: Interval[Infinitable]): SimpleExpression[Int]

    Permalink

  26. def removeCtr(c: CSPOMConstraint[_], in: CSPOM): Delta

    Permalink

  27. def removeCtr(c: Seq[CSPOMConstraint[_]], in: CSPOM): Delta

    Permalink

  28. def replace[T, S <: T](wh: CSPOMExpression[T], by: CSPOMExpression[S], in: CSPOM)(implicit arg0: scala.reflect.api.JavaUniverse.TypeTag[T]): Delta

    Permalink

  29. def replaceCtr(which: Seq[CSPOMConstraint[_]], by: Seq[CSPOMConstraint[_]], in: CSPOM): Delta

    Permalink

  30. def replaceCtr(which: CSPOMConstraint[_], by: Seq[CSPOMConstraint[_]], in: CSPOM): Delta

    Permalink

  31. def replaceCtr(which: Seq[CSPOMConstraint[_]], by: CSPOMConstraint[_], in: CSPOM): Delta

    Permalink

  32. def replaceCtr(which: CSPOMConstraint[_], by: CSPOMConstraint[_], in: CSPOM): Delta

    Permalink

  33. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  34. def toString(): String

    Permalink
    Definition Classes
    ConstraintCompiler → AnyRef → Any

  35. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  36. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  37. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from LazyLogging

Inherited from AnyRef

Inherited from Any

Ungrouped