Modifier and Type | Class and Description |
---|---|
class |
FormulaAnalysis.DNFClause |
Constructor and Description |
---|
FormulaAnalysis(Formula formula) |
Modifier and Type | Method and Description |
---|---|
FormulaAnalysis.DNFClause |
getDNFClause(int index)
Returns the specified clause of the Formula after it has been converted
to Disjunctive Normal Form.
|
Formula |
getFormula() |
int |
getNumDNFClauses() |
public FormulaAnalysis(Formula formula)
public Formula getFormula()
public int getNumDNFClauses()
public FormulaAnalysis.DNFClause getDNFClause(int index)
index
- the clause's indexCopyright © 2018 University of California, Santa Cruz. All rights reserved.