Package | Description |
---|---|
net.sf.tweety.argumentation.parameterisedhierarchy | |
net.sf.tweety.logics.translators.aspfol | |
net.sf.tweety.lp.asp.beliefdynamics | |
net.sf.tweety.lp.asp.syntax |
Modifier and Type | Field and Description |
---|---|
(package private) DLPAtom |
ArgumentationReasonerTest.m |
(package private) DLPAtom |
ArgumentationReasonerTest.n |
(package private) DLPAtom |
ArgumentationReasonerTest.p |
(package private) DLPAtom |
ArgumentationReasonerTest.q |
(package private) DLPAtom |
ArgumentationReasonerTest.r |
(package private) DLPAtom |
ArgumentationReasonerTest.s |
Modifier and Type | Method and Description |
---|---|
DLPAtom |
AspFolTranslator.toASP(FOLAtom source) |
Modifier and Type | Method and Description |
---|---|
FOLAtom |
AspFolTranslator.toFOL(DLPAtom source) |
Modifier and Type | Field and Description |
---|---|
(package private) DLPAtom |
ScepticalLiteralTransformationFunctionTest.a1 |
(package private) DLPAtom |
NaiveLiteralTransformationFunctionTest.a1 |
(package private) DLPAtom |
ScepticalLiteralTransformationFunctionTest.a2 |
(package private) DLPAtom |
NaiveLiteralTransformationFunctionTest.a2 |
(package private) DLPAtom |
ScepticalLiteralTransformationFunctionTest.a3 |
(package private) DLPAtom |
NaiveLiteralTransformationFunctionTest.a3 |
(package private) DLPAtom |
ScepticalLiteralTransformationFunctionTest.a4 |
(package private) DLPAtom |
NaiveLiteralTransformationFunctionTest.a4 |
(package private) DLPAtom |
ScepticalLiteralTransformationFunctionTest.b |
(package private) DLPAtom |
NaiveLiteralTransformationFunctionTest.b |
Modifier and Type | Field and Description |
---|---|
(package private) DLPAtom |
DLPNeg.atom |
Modifier and Type | Method and Description |
---|---|
DLPAtom |
DLPAtom.clone() |
DLPAtom |
DLPAtom.cloneWithAddedTerm(Term<?> tval) |
DLPAtom |
DLPNeg.complement() |
DLPAtom |
DLPNeg.getAtom() |
DLPAtom |
DLPLiteral.getAtom() |
DLPAtom |
DLPAtom.getAtom() |
DLPAtom |
DLPAtom.substitute(Term<?> v,
Term<?> t) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<DLPAtom> |
Rule.getAtoms() |
java.util.Set<DLPAtom> |
DLPNot.getAtoms() |
java.util.Set<DLPAtom> |
DLPNeg.getAtoms() |
java.util.Set<DLPAtom> |
DLPHead.getAtoms() |
java.util.Set<DLPAtom> |
DLPElement.getAtoms() |
java.util.Set<DLPAtom> |
DLPAtom.getAtoms() |
java.util.Set<DLPAtom> |
Comparative.getAtoms() |
java.util.Set<DLPAtom> |
Arithmetic.getAtoms() |
java.util.Set<DLPAtom> |
Aggregate.getAtoms() |
Constructor and Description |
---|
DLPAtom(DLPAtom other)
Copy-Ctor: Generates a deep copy of the given atom
|
DLPNeg(DLPAtom inner) |