Package

cspom

variable

Permalink

package variable

Visibility
  1. Public
  2. All

Type Members

  1. final class BoolVariable extends CSPOMVariable[Boolean]

    Permalink
  2. case class CSPOMConstant[+T](value: T)(implicit evidence$7: scala.reflect.api.JavaUniverse.TypeTag[T]) extends SimpleExpression[T] with Product with Serializable

    Permalink
  3. sealed trait CSPOMExpression[+T] extends AnyRef

    Permalink
  4. final class CSPOMSeq[+T] extends CSPOMExpression[T] with IndexedSeq[CSPOMExpression[T]] with LazyLogging

    Permalink
  5. abstract class CSPOMVariable[+T] extends SimpleExpression[T]

    Permalink
  6. class FreeVariable extends CSPOMVariable[Any]

    Permalink
  7. final class IntVariable extends CSPOMVariable[Int] with LazyLogging

    Permalink
  8. sealed trait SimpleExpression[+T] extends CSPOMExpression[T]

    Permalink

Value Members

  1. object BoolExpression extends Typed[Boolean]

    Permalink
  2. object BoolVariable

    Permalink
  3. object CSPOMConstant extends Serializable

    Permalink
  4. object CSPOMExpression

    Permalink
  5. object CSPOMSeq

    Permalink
  6. object EmptyVariable extends CSPOMVariable[Nothing]

    Permalink
  7. object FreeVariable

    Permalink
  8. object IntExpression extends Typed[Int]

    Permalink
  9. object IntVariable

    Permalink
  10. object SimpleExpression

    Permalink

Ungrouped