logical_expr

Classes

AllDifferentExpression(args)	Logical expression that all of the N child statements have different values.
AndExpression(args)	This is the node for AndExpression.
AtLeastExpression(args)	Logical constraint that at least N child statements are True.
AtMostExpression(args)	Logical constraint that at most N child statements are True.
BinaryBooleanExpression(args)	Abstract class for binary logical expressions.
BooleanExpression(args)	Logical expression base class.
BooleanExpressionBase(*args, **kwargs)
CountIfExpression(args)	Logical expression that returns the number of True child statements.
EquivalenceExpression(args)	Logical equivalence statement: Y_1 iff Y_2.
ExactlyExpression(args)	Logical constraint that exactly N child statements are True.
ImplicationExpression(args)	Logical Implication statement: Y_1 --> Y_2.
NaryBooleanExpression(args)	The abstract class for NaryBooleanExpression.
NotExpression(args)	This is the node for a NotExpression, this node should have exactly one child
OrExpression(args)	This is the node for OrExpression.
UnaryBooleanExpression(args)	Abstract class for single-argument logical expressions.
XorExpression(args)	Logical Exclusive OR statement: Y_1 ⊻ Y_2

Functions

all_different(*args)	Creates a new AllDifferentExpression
atleast(n, *args)	Creates a new AtLeastExpression
atmost(n, *args)	Creates a new AtMostExpression
count_if(*args)	Creates a new CountIfExpression
equivalent(Y1, Y2)	Construct an EquivalenceExpression Y1 == Y2
exactly(n, *args)	Creates a new ExactlyExpression
implies(Y1, Y2)	Construct an Implication using function, where Y1 implies Y2
land(*args)	Construct an AndExpression between passed arguments.
lnot(Y)	Construct a NotExpression for the passed BooleanValue.
lor(*args)	Construct an OrExpression between passed arguments.
xor(Y1, Y2)	Construct an XorExpression Y1 xor Y2