public class NotClause extends AbstractClause
| Modifier and Type | Method and Description |
|---|---|
Collection |
getAllLiterals()
INTERNAL: Returns all the literals used by this clause as
parameters.
|
Collection |
getAllVariables()
INTERNAL: Returns all the variables bound by this clause when it
is satisfied.
|
List |
getArguments()
INTERNAL: Returns the arguments of this clause.
|
List |
getClauses() |
void |
setClauseList(List clauses) |
String |
toString() |
protected List clauses
public NotClause()
public NotClause(List clauses)
public void setClauseList(List clauses)
public List getClauses()
public Collection getAllVariables()
AbstractClausegetAllVariables in class AbstractClausepublic Collection getAllLiterals()
AbstractClausegetAllLiterals in class AbstractClausepublic List getArguments()
AbstractClausegetArguments in class AbstractClause