Uses of Package
net.sf.tweety.logics.pl.syntax

Packages that use net.sf.tweety.logics.pl.syntax

Package	Description
net.sf.tweety.action.query
net.sf.tweety.action.query.parser
net.sf.tweety.action.query.syntax
net.sf.tweety.agents.dialogues
net.sf.tweety.agents.dialogues.oppmodels
net.sf.tweety.agents.dialogues.structured
net.sf.tweety.arg.aspic.ruleformulagenerator
net.sf.tweety.arg.deductive
net.sf.tweety.arg.deductive.semantics
net.sf.tweety.arg.dung
net.sf.tweety.arg.dung.ldo.syntax
net.sf.tweety.arg.prob.test.deductive
net.sf.tweety.arg.saf
net.sf.tweety.arg.saf.syntax
net.sf.tweety.beliefdynamics.mas
net.sf.tweety.beliefdynamics.operators
net.sf.tweety.beliefdynamics.selectiverevision.argumentative
net.sf.tweety.logics.cl
net.sf.tweety.logics.cl.semantics
net.sf.tweety.logics.cl.syntax
net.sf.tweety.logics.pcl.syntax
net.sf.tweety.logics.pl
net.sf.tweety.logics.pl.analysis
net.sf.tweety.logics.pl.parser
net.sf.tweety.logics.pl.sat
net.sf.tweety.logics.pl.semantics
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.pl.test
net.sf.tweety.logics.pl.util
net.sf.tweety.logics.translators.folprop
net.sf.tweety.web.services

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.action.query

Class and Description
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.action.query.parser

Class and Description
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.action.query.syntax

Class and Description
Proposition This class represents a simple proposition in propositional logic.
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.agents.dialogues

Class and Description
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.agents.dialogues.oppmodels

Class and Description
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.agents.dialogues.structured

Class and Description
Proposition This class represents a simple proposition in propositional logic.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.aspic.ruleformulagenerator

Class and Description
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.deductive

Class and Description
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.deductive.semantics

Class and Description
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.dung

Class and Description
Proposition This class represents a simple proposition in propositional logic.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.dung.ldo.syntax

Class and Description
PropositionalPredicate A specialized predicate for propositional logic that only allows an identifier but has no arguments and therefore has an arity of zero.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.prob.test.deductive

Class and Description
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.saf

Class and Description
Proposition This class represents a simple proposition in propositional logic.
PropositionalSignature This class captures the signature of a specific propositional language.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.arg.saf.syntax

Class and Description
Proposition This class represents a simple proposition in propositional logic.
PropositionalSignature This class captures the signature of a specific propositional language.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.beliefdynamics.mas

Class and Description
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.beliefdynamics.operators

Class and Description
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.beliefdynamics.selectiverevision.argumentative

Class and Description
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.cl

Class and Description
PropositionalFormula This class represents the common ancestor for propositional formulae.
PropositionalSignature This class captures the signature of a specific propositional language.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.cl.semantics

Class and Description
Proposition This class represents a simple proposition in propositional logic.
PropositionalFormula This class represents the common ancestor for propositional formulae.
PropositionalSignature This class captures the signature of a specific propositional language.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.cl.syntax

Class and Description
Conjunction This class represents a conjunction in propositional logic.
Proposition This class represents a simple proposition in propositional logic.
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.pcl.syntax

Class and Description
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.pl

Class and Description
Conjunction This class represents a conjunction in propositional logic.
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.pl.analysis

Class and Description
Proposition This class represents a simple proposition in propositional logic.
PropositionalFormula This class represents the common ancestor for propositional formulae.
PropositionalSignature This class captures the signature of a specific propositional language.
SpecialFormula This class captures the common functionalities of the special formulas tautology and contradiction.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.pl.parser

Class and Description
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.pl.sat

Class and Description
Proposition This class represents a simple proposition in propositional logic.
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.pl.semantics

Class and Description
Proposition This class represents a simple proposition in propositional logic.
PropositionalFormula This class represents the common ancestor for propositional formulae.
PropositionalSignature This class captures the signature of a specific propositional language.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.pl.syntax

Class and Description
AssociativePropositionalFormula This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.
Conjunction This class represents a conjunction in propositional logic.
Contradiction A contradictory formula.
Disjunction This class represents a disjunction in propositional logic.
Proposition This class represents a simple proposition in propositional logic.
PropositionalFormula This class represents the common ancestor for propositional formulae.
PropositionalPredicate A specialized predicate for propositional logic that only allows an identifier but has no arguments and therefore has an arity of zero.
PropositionalSignature This class captures the signature of a specific propositional language.
SpecialFormula This class captures the common functionalities of the special formulas tautology and contradiction.
Tautology A tautological formula.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.pl.test

Class and Description
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.pl.util

Class and Description
Proposition This class represents a simple proposition in propositional logic.
PropositionalFormula This class represents the common ancestor for propositional formulae.
PropositionalSignature This class captures the signature of a specific propositional language.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.logics.translators.folprop

Class and Description
Conjunction This class represents a conjunction in propositional logic.
Disjunction This class represents a disjunction in propositional logic.
Proposition This class represents a simple proposition in propositional logic.
PropositionalFormula This class represents the common ancestor for propositional formulae.

Classes in net.sf.tweety.logics.pl.syntax used by net.sf.tweety.web.services

Class and Description
PropositionalFormula This class represents the common ancestor for propositional formulae.