public interface Rule extends Comparable<Rule>, AppendableToStringBuilder
Modifier and Type | Method and Description |
---|---|
InMemoryAtomSet |
getBody()
Get the body (the hypothesis) of this rule.
|
Set<Constant> |
getConstants()
Get all constants of this rule.
|
Set<Variable> |
getExistentials()
Compute and return the set of existential variables of this rule.
|
Set<Variable> |
getFrontier()
Compute and return the set of frontier variables of this rule.
|
InMemoryAtomSet |
getHead()
Get the head (the conclusion) of this rule.
|
String |
getLabel()
Get the label (the name) of this rule.
|
Set<Literal> |
getLiterals()
Get all literals of this rule.
|
Set<Term> |
getTerms()
Get all terms of this rule.
|
Set<Term> |
getTerms(Term.Type type)
Deprecated.
|
Set<Variable> |
getVariables()
Get all variables of this rule.
|
void |
setLabel(String label)
Set the label (the name) of this rule.
|
compareTo
appendTo
String getLabel()
void setLabel(String label)
label
- InMemoryAtomSet getBody()
InMemoryAtomSet getHead()
Set<Variable> getFrontier()
Set<Variable> getExistentials()
@Deprecated Set<Term> getTerms(Term.Type type)
Set<Variable> getVariables()
Set<Constant> getConstants()
Set<Literal> getLiterals()
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.