public class OrClause extends AbstractClause
| Modifier and Type | Field and Description |
|---|---|
protected List |
alternatives |
protected boolean |
shortcircuit |
| Modifier and Type | Method and Description |
|---|---|
void |
addClauseList(List alternative) |
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 |
getAlternatives() |
List |
getArguments()
INTERNAL: Returns the arguments of this clause.
|
boolean |
getShortCircuit() |
void |
setShortCircuit(boolean shortcircuit) |
String |
toString() |
protected List alternatives
protected boolean shortcircuit
public OrClause()
public OrClause(List alternatives)
public boolean getShortCircuit()
public void setShortCircuit(boolean shortcircuit)
public void addClauseList(List alternative)
public List getAlternatives()
public Collection getAllVariables()
AbstractClausegetAllVariables in class AbstractClausepublic Collection getAllLiterals()
AbstractClausegetAllLiterals in class AbstractClausepublic List getArguments()
AbstractClausegetArguments in class AbstractClause