ConstrKeyDefnForallBitwiseOr Operator

Combines the left hand side of the pipe operator containing key, definition and forall expression with the constraint expression in the right hand side, and returns the resulting constraint.

Definition

Namespace: Orx.MathProg
Assembly: Orx.MathProg (in Orx.MathProg.dll) Version: 1.0.0
C#
public static Constraint operator |(
	ConstrKeyDefnForall keyDefnForall,
	ConstraintExpr constraintExpression
)

Parameters

keyDefnForall  ConstrKeyDefnForall
State of the constraint builder containing key, definition and forall expression.
constraintExpression  ConstraintExpr
Constraint expression.

Return Value

Constraint

See Also