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()