Uses of Package
org.tweetyproject.arg.adf.syntax.pl

Packages that use org.tweetyproject.arg.adf.syntax.pl

Package	Description
org.tweetyproject.arg.adf.reasoner.sat.encodings
org.tweetyproject.arg.adf.reasoner.sat.processor
org.tweetyproject.arg.adf.sat
org.tweetyproject.arg.adf.sat.state
org.tweetyproject.arg.adf.semantics.interpretation
org.tweetyproject.arg.adf.syntax.pl
org.tweetyproject.arg.adf.transform
org.tweetyproject.arg.adf.transform.processor

Classes in org.tweetyproject.arg.adf.syntax.pl used by org.tweetyproject.arg.adf.reasoner.sat.encodings

Class	Description
Clause	The Clause interface represents a logical clause, which is a disjunction (OR) of literals in propositional logic.
Literal	The Literal interface represents a logical literal, which can be either a positive or negative proposition.

Classes in org.tweetyproject.arg.adf.syntax.pl used by org.tweetyproject.arg.adf.reasoner.sat.processor

Class	Description
Clause	The Clause interface represents a logical clause, which is a disjunction (OR) of literals in propositional logic.

Classes in org.tweetyproject.arg.adf.syntax.pl used by org.tweetyproject.arg.adf.sat

Class	Description
Clause	The Clause interface represents a logical clause, which is a disjunction (OR) of literals in propositional logic.
Literal	The Literal interface represents a logical literal, which can be either a positive or negative proposition.

Classes in org.tweetyproject.arg.adf.syntax.pl used by org.tweetyproject.arg.adf.sat.state

Class	Description
Clause	The Clause interface represents a logical clause, which is a disjunction (OR) of literals in propositional logic.
Literal	The Literal interface represents a logical literal, which can be either a positive or negative proposition.

Classes in org.tweetyproject.arg.adf.syntax.pl used by org.tweetyproject.arg.adf.semantics.interpretation

Class	Description
Literal	The Literal interface represents a logical literal, which can be either a positive or negative proposition.

Classes in org.tweetyproject.arg.adf.syntax.pl used by org.tweetyproject.arg.adf.syntax.pl

Class	Description
Clause	The Clause interface represents a logical clause, which is a disjunction (OR) of literals in propositional logic.
Literal	The Literal interface represents a logical literal, which can be either a positive or negative proposition.

Classes in org.tweetyproject.arg.adf.syntax.pl used by org.tweetyproject.arg.adf.transform

Class	Description
Clause	The Clause interface represents a logical clause, which is a disjunction (OR) of literals in propositional logic.
Literal	The Literal interface represents a logical literal, which can be either a positive or negative proposition.

Classes in org.tweetyproject.arg.adf.syntax.pl used by org.tweetyproject.arg.adf.transform.processor

Class	Description
Literal	The Literal interface represents a logical literal, which can be either a positive or negative proposition.