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

ConstrMatrix

reqt.csp.ConstrMatrix
trait ConstrMatrix extends Constr

Attributes

Graph
Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Known subtypes
class Diff2

Members list

Value members

Abstract methods

def matrix: Vector[Vector[Var]]

Concrete fields

val variables: Seq[Var]
Generated with