public class Dnf extends ExprNormalForm
commonExprs, exprToClauses, varsMentioned, varsToClauses, varToClauses| Constructor and Description |
|---|
Dnf(Collection<Clause> clauses) |
equals, filterByVars, get, get, getClauses, getCommonExprs, getExactly, getVarsMentioned, hashCode, size, toStringpublic Dnf(Collection<Clause> clauses)
Copyright © 2015. All rights reserved.