Package | Description |
---|---|
net.sf.tweety.logics.translators.aspfol | |
net.sf.tweety.logics.translators.aspnlp | |
net.sf.tweety.lp.asp.syntax |
Modifier and Type | Method and Description |
---|---|
DLPHead |
AspFolTranslator.toASP(Disjunction source) |
Modifier and Type | Method and Description |
---|---|
Disjunction |
AspFolTranslator.toFOL(DLPHead source) |
Modifier and Type | Method and Description |
---|---|
private java.util.List<DLPHead> |
AspNlpTranslator.headsFromConjunction(Conjunction c) |
Modifier and Type | Field and Description |
---|---|
(package private) DLPHead |
Rule.head |
Modifier and Type | Method and Description |
---|---|
DLPHead |
DLPHead.clone() |
DLPHead |
DLPHead.createEmptyFormula() |
DLPHead |
Rule.getConclusion() |
DLPHead |
DLPHead.substitute(Term<?> v,
Term<?> t) |
Modifier and Type | Method and Description |
---|---|
void |
Program.addFact(DLPHead fact) |
void |
Rule.setConclusion(DLPHead conclusion) |
Constructor and Description |
---|
DLPHead(DLPHead other)
Copy-Ctor: Generates a deep copy from the given head
|
Rule(DLPHead head)
Ctor: Create a rule with the given head.
|