Package | Description |
---|---|
org.linqs.psl.model.formula | |
org.linqs.psl.model.rule.logical |
Modifier and Type | Method and Description |
---|---|
FormulaAnalysis.DNFClause |
FormulaAnalysis.getDNFClause(int index)
Returns the specified clause of the Formula after it has been converted
to Disjunctive Normal Form.
|
Modifier and Type | Field and Description |
---|---|
protected FormulaAnalysis.DNFClause |
AbstractLogicalRule.negatedDNF |
Modifier and Type | Method and Description |
---|---|
FormulaAnalysis.DNFClause |
AbstractLogicalRule.getDNF() |
Copyright © 2018 University of California, Santa Cruz. All rights reserved.