com.tubros.constraints.examples.cargo.ConstraintSolver

CargoLoaded

object CargoLoaded extends LoadingEquation

Linear Supertypes
LoadingEquation, RelationalSupport[Int], PropositionalSupport[Int], DerivedValueSupport[Int], ArithmeticSupport[Int], Equation[Int], () ⇒ Expression[Int], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. CargoLoaded
  2. LoadingEquation
  3. RelationalSupport
  4. PropositionalSupport
  5. DerivedValueSupport
  6. ArithmeticSupport
  7. Equation
  8. Function0
  9. AnyRef
  10. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. implicit class ArithmeticOps[U] extends AnyRef

    Definition Classes
    ArithmeticSupport

  2. implicit class DerivedValueOps extends AnyRef

    Definition Classes
    DerivedValueSupport

  3. implicit class PropositionalOps[U] extends AnyRef

    Definition Classes
    PropositionalSupport

  4. implicit class RelationalOps[U] extends AnyRef

    Definition Classes
    RelationalSupport

Value Members

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  6. def abs(exp: Expression[Int]): Expression[Int]

    Definition Classes
    ArithmeticSupport

  7. def add(lhs: Expression[Int], rhs: Expression[Int]): Expression[Int]

    Definition Classes
    ArithmeticSupport

  8. def and(lhs: Expression[Int], rhs: Expression[Int]): Expression[Int]

    Definition Classes
    PropositionalSupport

  9. def apply(): Expression[Int]

    Definition Classes
    CargoLoaded → Function0

  10. lazy val arity: Int

    Definition Classes
    Equation

  11. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  12. def clone(): AnyRef

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

  13. lazy val derived: Option[VariableName]

    Definition Classes
    Equation

  14. def div(lhs: Expression[Int], rhs: Expression[Int]): Expression[Int]

    Definition Classes
    ArithmeticSupport

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

    Definition Classes
    AnyRef

  16. def equalTo(lhs: Expression[Int], rhs: Expression[Int]): Expression[Int]

    Definition Classes
    RelationalSupport

  17. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  18. lazy val expression: Expression[Int]

    Definition Classes
    Equation

  19. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any

  21. def greaterThan(lhs: Expression[Int], rhs: Expression[Int]): Expression[Int]

    Definition Classes
    RelationalSupport

  22. def greaterThanOrEqualTo(lhs: Expression[Int], rhs: Expression[Int]): Expression[Int]

    Definition Classes
    RelationalSupport

  23. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  24. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  25. def lessThan(lhs: Expression[Int], rhs: Expression[Int]): Expression[Int]

    Definition Classes
    RelationalSupport

  26. def lessThanOrEqualTo(lhs: Expression[Int], rhs: Expression[Int]): Expression[Int]

    Definition Classes
    RelationalSupport

  27. def lit[T](value: T): Constant[T]

    Definition Classes
    Equation

  28. def mod(lhs: Expression[Int], rhs: Expression[Int]): Expression[Int]

    Definition Classes
    ArithmeticSupport

  29. def mult(lhs: Expression[Int], rhs: Expression[Int]): Expression[Int]

    Definition Classes
    ArithmeticSupport

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

    Definition Classes
    AnyRef

  31. def negate(exp: Expression[Int]): Expression[Int]

    Definition Classes
    ArithmeticSupport

  32. def notEqualTo(lhs: Expression[Int], rhs: Expression[Int]): Expression[Int]

    Definition Classes
    RelationalSupport

  33. final def notify(): Unit

    Definition Classes
    AnyRef

  34. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  35. def or(lhs: Expression[Int], rhs: Expression[Int]): Expression[Int]

    Definition Classes
    PropositionalSupport

  36. def pow(lhs: Expression[Int], rhs: Expression[Int]): Expression[Int]

    Definition Classes
    ArithmeticSupport

  37. implicit def richSymbolSyntax(name: Symbol): RichSymbolSyntax

    Definition Classes
    Equation

  38. def sub(lhs: Expression[Int], rhs: Expression[Int]): Expression[Int]

    Definition Classes
    ArithmeticSupport

  39. implicit def symbolToVariableUse(name: Symbol): Expression[Nothing]

    Definition Classes
    Equation

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

    Definition Classes
    AnyRef

  41. def toString(): String

    Definition Classes
    Function0 → AnyRef → Any

  42. implicit def valToConstant[T <: AnyVal](v: T): Expression[T]

    Definition Classes
    Equation

  43. lazy val variables: Set[VariableName]

    Definition Classes
    Equation

  44. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from LoadingEquation

Inherited from RelationalSupport[Int]

Inherited from PropositionalSupport[Int]

Inherited from DerivedValueSupport[Int]

Inherited from ArithmeticSupport[Int]

Inherited from Equation[Int]

Inherited from () ⇒ Expression[Int]

Inherited from AnyRef

Inherited from Any

Ungrouped