public class FormulaAnalysis.DNFClause extends Object
Constructor and Description |
---|
DNFClause(List<Atom> posLiterals,
List<Atom> negLiterals) |
Modifier and Type | Method and Description |
---|---|
List<Atom> |
getNegLiterals() |
List<Atom> |
getPosLiterals() |
Formula |
getQueryFormula() |
Set<Variable> |
getUnboundVariables()
Returns any unbound variables.
|
boolean |
isGround() |
boolean |
isQueriable() |
String |
toString() |
public List<Atom> getPosLiterals()
public List<Atom> getNegLiterals()
public Set<Variable> getUnboundVariables()
StandardPredicate
.
If all Variables are bound, then DatabaseQueries
can identify all groundings of the clause with possibly non-zero truth
values in a Database
.
public boolean isGround()
public boolean isQueriable()
public Formula getQueryFormula()
Copyright © 2018 University of California, Santa Cruz. All rights reserved.