reqt-lang
API
Generated with
reqt-lang/reqt/csp/Var

Var

reqt.csp.Var
See theVar companion object
trait Var

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class EnumVar[T, U]
class IntVar[T]

Members list

Type members

Types

type Id
type Value

Value members

Abstract methods

def fromInt(i: Int): Value
def id: Id
def toInt(value: Value): Int

Concrete methods

def *(y: Var): MulBuilder
def +(y: Var): PlusBuilder
def <(y: Var): XltY
def <(value: Int): XltC
def <=(y: Var): XlteqY
def <=(value: Int): XlteqC
def =/=(y: Var): XneqY
def =/=(value: Int): XneqC
def =/=(value: Boolean): XeqBool
def ===(y: Var): XeqY
def ===(value: Int): XeqC
def ===(value: Boolean): XeqBool
def ===(sumThat: SumBuilder): SumEq
def ===(mulThat: MulBuilder): XmulYeqZ
def >(y: Var): XgtY
def >(value: Int): XgtC
def >=(y: Var): XgteqY
def >=(value: Int): XgteqC
infix def in(r: Range): Bounds
Extension method from csp
infix def in(rs: Seq[Range]): Constr
Extension method from csp
Generated with