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