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()
AbstractClause
getAllVariables
in class AbstractClause
public Collection getAllLiterals()
AbstractClause
getAllLiterals
in class AbstractClause
public List getArguments()
AbstractClause
getArguments
in class AbstractClause