Instantiates a user constraint.
Instantiates a user constraint.
Creates a new constraint companion of the type ConstraintCompanionBinaryOp
the apply
of which returns ConstraintBinaryOp
with the And
operator.
Creates a new constraint companion of the type ConstraintCompanionBinaryOp
the apply
of which returns ConstraintBinaryOp
with the And
operator.
The stringPrefix
of constrained Graph
s using this
constraint will be replaced
by this string unless None
.
The stringPrefix
of constrained Graph
s using this
constraint will be replaced
by this string unless None
.
Sets stringPrefix
of constrained Graph
s using this
combined constraint companion
to graphStringPrefix
.
Sets stringPrefix
of constrained Graph
s using this
combined constraint companion
to graphStringPrefix
.
Creates a new constraint companion of the type ConstraintCompanionBinaryOp
the apply
of which returns ConstraintBinaryOp
with the Or
operator.
Creates a new constraint companion of the type ConstraintCompanionBinaryOp
the apply
of which returns ConstraintBinaryOp
with the Or
operator.
(constraintCompanionOp: StringAdd).self
(constraintCompanionOp: StringFormat).self
(constraintCompanionOp: OuterNode[ConstraintCompanionOp]).stringPrefix
(constraintCompanionOp: OuterNode[ConstraintCompanionOp]).toString()
(constraintCompanionOp: ArrowAssoc[ConstraintCompanionOp]).x
(Since version 2.10.0) Use leftOfArrow
instead
(constraintCompanionOp: Ensuring[ConstraintCompanionOp]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
Base class for any operation on
ConstraintCompanion
s.