org.cryptimeleon.math.expressions.bool

Interfaces

• BooleanExpression
• BoolVariableExpr

Classes

• BasicNamedBoolVariableExpr
• BoolAndExpr
• BoolConstantExpr
• BoolEmptyExpr
• BoolNotExpr
• BoolOrExpr
• ExponentEqualityExpr
• GroupEqualityExpr
• LazyBoolEvaluationResult