Class MultiAndExpression

All Implemented Interfaces:
Serializable, Expression, Model, ASTNodeAccess

public final class MultiAndExpression extends MultipleExpression
This helper class is mainly used for handling the CNF conversion.
See Also: