public abstract class AbstractClause extends Object
| Constructor and Description |
|---|
AbstractClause() |
| Modifier and Type | Method and Description |
|---|---|
abstract Collection |
getAllLiterals()
INTERNAL: Returns all the literals used by this clause as
parameters.
|
abstract Collection |
getAllVariables()
INTERNAL: Returns all the variables bound by this clause when it
is satisfied.
|
abstract List |
getArguments()
INTERNAL: Returns the arguments of this clause.
|
public abstract Collection getAllVariables()
public abstract Collection getAllLiterals()
public abstract List getArguments()