Uses of Class
net.sf.tweety.logics.pl.syntax.AssociativePlFormula
-
Packages that use AssociativePlFormula Package Description net.sf.tweety.arg.adf.util net.sf.tweety.logics.pl.syntax -
-
Uses of AssociativePlFormula in net.sf.tweety.arg.adf.util
Classes in net.sf.tweety.arg.adf.util with type parameters of type AssociativePlFormula Modifier and Type Class Description private static class
PlCollectors.MapAccumulator<R extends AssociativePlFormula,T>
-
Uses of AssociativePlFormula in net.sf.tweety.logics.pl.syntax
Subclasses of AssociativePlFormula in net.sf.tweety.logics.pl.syntax Modifier and Type Class Description class
Conjunction
This class represents a conjunction in propositional logic.class
Disjunction
This class represents a disjunction in propositional logic.
-