Uses of Package
org.tweetyproject.commons

Packages that use org.tweetyproject.commons

Package	Description
Unnamed Package
org.tweetyproject.action.description.parser
org.tweetyproject.action.description.syntax
org.tweetyproject.action.grounding.parser
org.tweetyproject.action.query.analysis
org.tweetyproject.action.query.parser
org.tweetyproject.action.query.syntax
org.tweetyproject.action.signature
org.tweetyproject.action.signature.parser
org.tweetyproject.agents.dialogues
org.tweetyproject.agents.dialogues.examples
org.tweetyproject.agents.dialogues.structured
org.tweetyproject.arg.aba.examples
org.tweetyproject.arg.aba.parser
org.tweetyproject.arg.aba.reasoner
org.tweetyproject.arg.aba.semantics
org.tweetyproject.arg.aba.syntax
org.tweetyproject.arg.aspic.examples
org.tweetyproject.arg.aspic.order
org.tweetyproject.arg.aspic.parser
org.tweetyproject.arg.aspic.reasoner
org.tweetyproject.arg.aspic.semantics
org.tweetyproject.arg.aspic.syntax
org.tweetyproject.arg.bipolar.syntax
org.tweetyproject.arg.deductive
org.tweetyproject.arg.deductive.examples
org.tweetyproject.arg.deductive.parser
org.tweetyproject.arg.deductive.reasoner
org.tweetyproject.arg.deductive.semantics
org.tweetyproject.arg.deductive.syntax
org.tweetyproject.arg.delp.examples
org.tweetyproject.arg.delp.parser
org.tweetyproject.arg.delp.reasoner
org.tweetyproject.arg.delp.syntax
org.tweetyproject.arg.dung.causal.syntax
org.tweetyproject.arg.dung.examples
org.tweetyproject.arg.dung.ldo.semantics
org.tweetyproject.arg.dung.ldo.syntax
org.tweetyproject.arg.dung.learning.syntax
org.tweetyproject.arg.dung.parser
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.arg.dung.reasoner.serialisable
org.tweetyproject.arg.dung.semantics
org.tweetyproject.arg.dung.serialisibility.plotting
org.tweetyproject.arg.dung.syntax
org.tweetyproject.arg.dung.util
org.tweetyproject.arg.lp.reasoner
org.tweetyproject.arg.lp.syntax
org.tweetyproject.arg.prob.reasoner
org.tweetyproject.arg.prob.syntax
org.tweetyproject.arg.rankings.reasoner
org.tweetyproject.arg.saf.reasoner
org.tweetyproject.arg.saf.syntax
org.tweetyproject.arg.saf.util
org.tweetyproject.arg.setaf.reasoners
org.tweetyproject.arg.setaf.syntax
org.tweetyproject.arg.social.reasoner
org.tweetyproject.arg.social.semantics
org.tweetyproject.arg.social.syntax
org.tweetyproject.beliefdynamics
org.tweetyproject.beliefdynamics.examples
org.tweetyproject.beliefdynamics.gui
org.tweetyproject.beliefdynamics.kernels
org.tweetyproject.beliefdynamics.mas
org.tweetyproject.beliefdynamics.selectiverevision
org.tweetyproject.commons
org.tweetyproject.commons.analysis
org.tweetyproject.commons.postulates
org.tweetyproject.commons.streams
org.tweetyproject.commons.util.rules
org.tweetyproject.comparator
org.tweetyproject.graphs.util
org.tweetyproject.logics.bpm.examples
org.tweetyproject.logics.bpm.parser.bpmn_to_petri
org.tweetyproject.logics.bpm.parser.xml_to_bpmn
org.tweetyproject.logics.bpm.plotting
org.tweetyproject.logics.bpm.syntax
org.tweetyproject.logics.cl.parser
org.tweetyproject.logics.cl.reasoner
org.tweetyproject.logics.cl.semantics
org.tweetyproject.logics.cl.syntax
org.tweetyproject.logics.commons.analysis
org.tweetyproject.logics.commons.analysis.streams
org.tweetyproject.logics.commons.syntax
org.tweetyproject.logics.commons.syntax.interfaces
org.tweetyproject.logics.dl.examples
org.tweetyproject.logics.dl.parser
org.tweetyproject.logics.dl.reasoner
org.tweetyproject.logics.dl.semantics
org.tweetyproject.logics.dl.syntax
org.tweetyproject.logics.dl.test
org.tweetyproject.logics.fol.examples
org.tweetyproject.logics.fol.parser
org.tweetyproject.logics.fol.reasoner
org.tweetyproject.logics.fol.semantics
org.tweetyproject.logics.fol.syntax
org.tweetyproject.logics.fol.test
org.tweetyproject.logics.fol.writer
org.tweetyproject.logics.ml
org.tweetyproject.logics.ml.examples
org.tweetyproject.logics.ml.parser
org.tweetyproject.logics.ml.reasoner
org.tweetyproject.logics.ml.semantics
org.tweetyproject.logics.ml.syntax
org.tweetyproject.logics.ml.writer
org.tweetyproject.logics.mln.examples
org.tweetyproject.logics.mln.reasoner
org.tweetyproject.logics.mln.syntax
org.tweetyproject.logics.pcl.analysis
org.tweetyproject.logics.pcl.examples
org.tweetyproject.logics.pcl.parser
org.tweetyproject.logics.pcl.reasoner
org.tweetyproject.logics.pcl.semantics
org.tweetyproject.logics.pcl.syntax
org.tweetyproject.logics.pcl.util
org.tweetyproject.logics.petri.plotting
org.tweetyproject.logics.petri.syntax.reachability_graph
org.tweetyproject.logics.pl.analysis
org.tweetyproject.logics.pl.examples
org.tweetyproject.logics.pl.parser
org.tweetyproject.logics.pl.reasoner
org.tweetyproject.logics.pl.sat
org.tweetyproject.logics.pl.semantics
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.pl.test
org.tweetyproject.logics.pl.util
org.tweetyproject.logics.pl.writer
org.tweetyproject.logics.qbf.examples
org.tweetyproject.logics.qbf.parser
org.tweetyproject.logics.qbf.reasoner
org.tweetyproject.logics.qbf.semantics
org.tweetyproject.logics.qbf.syntax
org.tweetyproject.logics.qbf.test
org.tweetyproject.logics.rcl.examples
org.tweetyproject.logics.rcl.parser
org.tweetyproject.logics.rcl.reasoner
org.tweetyproject.logics.rcl.semantics
org.tweetyproject.logics.rcl.syntax
org.tweetyproject.logics.rdl.parser
org.tweetyproject.logics.rdl.reasoner
org.tweetyproject.logics.rdl.semantics
org.tweetyproject.logics.rdl.syntax
org.tweetyproject.logics.rpcl.examples
org.tweetyproject.logics.rpcl.parser
org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser
org.tweetyproject.logics.rpcl.reasoner
org.tweetyproject.logics.rpcl.semantics
org.tweetyproject.logics.rpcl.syntax
org.tweetyproject.logics.rpcl.writers
org.tweetyproject.logics.translators.adfcl
org.tweetyproject.logics.translators.adfconditional
org.tweetyproject.logics.translators.adfpossibilistic
org.tweetyproject.logics.translators.adfrevision
org.tweetyproject.lp.asp.beliefdynamics.baserevision
org.tweetyproject.lp.asp.reasoner
org.tweetyproject.lp.asp.semantics
org.tweetyproject.lp.asp.syntax
org.tweetyproject.lp.nlp.syntax
org.tweetyproject.math.examples
org.tweetyproject.web.spring_services
org.tweetyproject.web.spring_services.aba
org.tweetyproject.web.spring_services.delp

Classes in org.tweetyproject.commons used by Unnamed Package

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.action.description.parser

Class	Description
Formula	A formula is a basic language construct.
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.action.description.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.action.grounding.parser

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.action.query.analysis

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.

Classes in org.tweetyproject.commons used by org.tweetyproject.action.query.parser

Class	Description
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.action.query.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.action.signature

Class	Description
Formula	A formula is a basic language construct.
QuadrupleSetSignature	This class models a signature as four sets of formulas.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.action.signature.parser

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.agents.dialogues

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Interpretation	An interpretation for some logical language.

Classes in org.tweetyproject.commons used by org.tweetyproject.agents.dialogues.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.agents.dialogues.structured

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.aba.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.aba.parser

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
Formula	A formula is a basic language construct.
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.aba.reasoner

Class	Description
Formula	A formula is a basic language construct.
InferenceMode	Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credulous inference (assess a formula as true iff it is contained in some model).
ModelProvider	Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.
QualitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.aba.semantics

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Formula	A formula is a basic language construct.
Interpretation	An interpretation for some logical language.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.aba.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.aspic.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.aspic.order

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Interpretation	An interpretation for some logical language.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.aspic.parser

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
Formula	A formula is a basic language construct.
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.aspic.reasoner

Class	Description
InferenceMode	Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credulous inference (assess a formula as true iff it is contained in some model).
QualitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.aspic.semantics

Class	Description
Formula	A formula is a basic language construct.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.aspic.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.bipolar.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.deductive

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.deductive.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.deductive.parser

Class	Description
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.deductive.reasoner

Class	Description
QuantitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return a degree (double value) of its acceptability.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.deductive.semantics

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.deductive.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.delp.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.delp.parser

Class	Description
Formula	A formula is a basic language construct.
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.delp.reasoner

Class	Description
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.delp.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.causal.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.ldo.semantics

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Interpretation	An interpretation for some logical language.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.ldo.syntax

Class	Description
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.learning.syntax

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Interpretation	An interpretation for some logical language.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.parser

Class	Description
Formula	A formula is a basic language construct.
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.reasoner

Class	Description
InferenceMode	Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credulous inference (assess a formula as true iff it is contained in some model).
ModelProvider	Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.
QualitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.reasoner.serialisable

Class	Description
ModelProvider	Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.
QualitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.semantics

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Interpretation	An interpretation for some logical language.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.serialisibility.plotting

Class	Description
Plotter	A class for managing and displaying several plots in a single frame
PlotterMultiFrame	This class is responsible for the behavior of a plotter with multiple frames.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.
SingleSetSignature	This class models a signature as a set of formulas.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.util

Class	Description
BeliefSetIterator	Classes implementing this interface are able to enumerate belief sets.
Parser	This class models an abstract parser for belief bases and formulas.
Plotter	A class for managing and displaying several plots in a single frame

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.lp.reasoner

Class	Description
QualitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.lp.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.prob.reasoner

Class	Description
InferenceMode	Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credulous inference (assess a formula as true iff it is contained in some model).
QuantitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return a degree (double value) of its acceptability.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.prob.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.rankings.reasoner

Class	Description
ModelProvider	Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.saf.reasoner

Class	Description
QualitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.saf.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.saf.util

Class	Description
BeliefSetIterator	Classes implementing this interface are able to enumerate belief sets.
BeliefSetSampler	This abstract class models a random sampler for belief sets.
FormulaSampler	This abstract class models a sampler for formulas.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.setaf.reasoners

Class	Description
InferenceMode	Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credulous inference (assess a formula as true iff it is contained in some model).
ModelProvider	Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.
QualitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.setaf.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.
SingleSetSignature	This class models a signature as a set of formulas.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.social.reasoner

Class	Description
ModelProvider	Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.
QuantitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return a degree (double value) of its acceptability.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.social.semantics

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Interpretation	An interpretation for some logical language.

Classes in org.tweetyproject.commons used by org.tweetyproject.arg.social.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.

Classes in org.tweetyproject.commons used by org.tweetyproject.beliefdynamics

Class	Description
Formula	A formula is a basic language construct.

Classes in org.tweetyproject.commons used by org.tweetyproject.beliefdynamics.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.beliefdynamics.gui

Class	Description
Formula	A formula is a basic language construct.

Classes in org.tweetyproject.commons used by org.tweetyproject.beliefdynamics.kernels

Class	Description
Formula	A formula is a basic language construct.
KernelProvider	Classes implementing this interface are able to provide kernels (=minimal proofs).

Classes in org.tweetyproject.commons used by org.tweetyproject.beliefdynamics.mas

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.beliefdynamics.selectiverevision

Class	Description
Formula	A formula is a basic language construct.

Classes in org.tweetyproject.commons used by org.tweetyproject.commons

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
BeliefSetIterator	Classes implementing this interface are able to enumerate belief sets.
DualSetSignature	This class models a signature as two sets of formulas.
Formula	A formula is a basic language construct.
InferenceMode	Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credulous inference (assess a formula as true iff it is contained in some model).
Interpretation	An interpretation for some logical language.
InterpretationIterator	An iterator over interpretations.
ParserException	This class models a general exception for parsing.
Plotter	A class for managing and displaying several plots in a single frame
QuadrupleSetSignature	This class models a signature as four sets of formulas.
Reasoner	The general interface for objects that are able to query a belief base with some formula.
Signature	A signatures lists the atomic language structures for some language.
SingleSetSignature	This class models a signature as a set of formulas.
TripleSetSignature	This class models a signature as three sets of formulas.
TweetyConfiguration.LogLevel	The possible log levels.

Classes in org.tweetyproject.commons used by org.tweetyproject.commons.analysis

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
Formula	A formula is a basic language construct.
Interpretation	An interpretation for some logical language.

Classes in org.tweetyproject.commons used by org.tweetyproject.commons.postulates

Class	Description
BeliefSet	This class models a belief set, i.e.
BeliefSetIterator	Classes implementing this interface are able to enumerate belief sets.
Formula	A formula is a basic language construct.

Classes in org.tweetyproject.commons used by org.tweetyproject.commons.streams

Class	Description
Formula	A formula is a basic language construct.

Classes in org.tweetyproject.commons used by org.tweetyproject.commons.util.rules

Class	Description
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.comparator

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
BeliefBase	This class captures an abstract knowledge base, i.e.
Formula	A formula is a basic language construct.
Interpretation	An interpretation for some logical language.

Classes in org.tweetyproject.commons used by org.tweetyproject.graphs.util

Class	Description
Plotter	A class for managing and displaying several plots in a single frame

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.bpm.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.bpm.parser.bpmn_to_petri

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
Formula	A formula is a basic language construct.
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.bpm.parser.xml_to_bpmn

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
Formula	A formula is a basic language construct.
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.bpm.plotting

Class	Description
Plotter	A class for managing and displaying several plots in a single frame

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.bpm.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.cl.parser

Class	Description
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.cl.reasoner

Class	Description
ModelProvider	Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.
QualitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.cl.semantics

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Interpretation	An interpretation for some logical language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.cl.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.commons.analysis

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Interpretation	An interpretation for some logical language.
InterpretationIterator	An iterator over interpretations.
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.commons.analysis.streams

Class	Description
Formula	A formula is a basic language construct.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.commons.syntax

Class	Description
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.commons.syntax.interfaces

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.dl.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.dl.parser

Class	Description
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.dl.reasoner

Class	Description
QualitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.dl.semantics

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Interpretation	An interpretation for some logical language.
InterpretationSet	This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.dl.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.
TripleSetSignature	This class models a signature as three sets of formulas.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.dl.test

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.fol.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.fol.parser

Class	Description
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.fol.reasoner

Class	Description
Formula	A formula is a basic language construct.
QualitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.fol.semantics

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Interpretation	An interpretation for some logical language.
InterpretationSet	This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.fol.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
QuadrupleSetSignature	This class models a signature as four sets of formulas.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.fol.test

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.fol.writer

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.ml

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.ml.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.ml.parser

Class	Description
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.ml.reasoner

Class	Description
Formula	A formula is a basic language construct.
QualitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.ml.semantics

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Formula	A formula is a basic language construct.
Interpretation	An interpretation for some logical language.
InterpretationSet	This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.ml.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.ml.writer

Class	Description
ParserException	This class models a general exception for parsing.
Writer	This class represents an abstract writer for writing objects into the file system.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.mln.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.mln.reasoner

Class	Description
QuantitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return a degree (double value) of its acceptability.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.mln.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pcl.analysis

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefBaseMachineShop	Classes implementing this interface are capable of restoring consistency of inconsistent belief bases.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pcl.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pcl.parser

Class	Description
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pcl.reasoner

Class	Description
ModelProvider	Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.
QuantitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return a degree (double value) of its acceptability.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pcl.semantics

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Interpretation	An interpretation for some logical language.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pcl.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pcl.util

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.petri.plotting

Class	Description
Plotter	A class for managing and displaying several plots in a single frame

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.petri.syntax.reachability_graph

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
Formula	A formula is a basic language construct.
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.analysis

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
InterpretationSet	This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.
ModelProvider	Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.parser

Class	Description
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.reasoner

Class	Description
KernelProvider	Classes implementing this interface are able to provide kernels (=minimal proofs).
QualitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.sat

Class	Description
BeliefSet	This class models a belief set, i.e.
Interpretation	An interpretation for some logical language.
InterpretationSet	This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.
ModelProvider	Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.semantics

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Formula	A formula is a basic language construct.
Interpretation	An interpretation for some logical language.
InterpretationIterator	An iterator over interpretations.
InterpretationSet	This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.
SingleSetSignature	This class models a signature as a set of formulas.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.test

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.util

Class	Description
BeliefSetIterator	Classes implementing this interface are able to enumerate belief sets.
BeliefSetSampler	This abstract class models a random sampler for belief sets.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.writer

Class	Description
Writer	This class represents an abstract writer for writing objects into the file system.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.qbf.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.qbf.parser

Class	Description
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.qbf.reasoner

Class	Description
BeliefSet	This class models a belief set, i.e.
KernelProvider	Classes implementing this interface are able to provide kernels (=minimal proofs).
QualitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.qbf.semantics

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Interpretation	An interpretation for some logical language.
InterpretationSet	This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.qbf.syntax

Class	Description
Formula	A formula is a basic language construct.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.qbf.test

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rcl.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rcl.parser

Class	Description
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rcl.reasoner

Class	Description
ModelProvider	Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.
QualitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rcl.semantics

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Interpretation	An interpretation for some logical language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rcl.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rdl.parser

Class	Description
Formula	A formula is a basic language construct.
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rdl.reasoner

Class	Description
InferenceMode	Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credulous inference (assess a formula as true iff it is contained in some model).
ModelProvider	Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.
QualitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rdl.semantics

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Interpretation	An interpretation for some logical language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rdl.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rpcl.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rpcl.parser

Class	Description
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rpcl.reasoner

Class	Description
ModelProvider	Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.
QuantitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return a degree (double value) of its acceptability.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rpcl.semantics

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Interpretation	An interpretation for some logical language.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rpcl.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
BeliefSet	This class models a belief set, i.e.
Formula	A formula is a basic language construct.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rpcl.writers

Class	Description
Writer	This class represents an abstract writer for writing objects into the file system.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.translators.adfcl

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.translators.adfconditional

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Formula	A formula is a basic language construct.
Interpretation	An interpretation for some logical language.
InterpretationIterator	An iterator over interpretations.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.translators.adfpossibilistic

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.logics.translators.adfrevision

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Formula	A formula is a basic language construct.
Interpretation	An interpretation for some logical language.
InterpretationIterator	An iterator over interpretations.
Parser	This class models an abstract parser for belief bases and formulas.
ParserException	This class models a general exception for parsing.
Signature	A signatures lists the atomic language structures for some language.

Classes in org.tweetyproject.commons used by org.tweetyproject.lp.asp.beliefdynamics.baserevision

Class	Description
Formula	A formula is a basic language construct.

Classes in org.tweetyproject.commons used by org.tweetyproject.lp.asp.reasoner

Class	Description
InferenceMode	Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credulous inference (assess a formula as true iff it is contained in some model).
ModelProvider	Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.
QualitativeReasoner	The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner	The general interface for objects that are able to query a belief base with some formula.

Classes in org.tweetyproject.commons used by org.tweetyproject.lp.asp.semantics

Class	Description
AbstractInterpretation	An abstract interpretation for some logical language.
Interpretation	An interpretation for some logical language.
InterpretationSet	This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.

Classes in org.tweetyproject.commons used by org.tweetyproject.lp.asp.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
Formula	A formula is a basic language construct.

Classes in org.tweetyproject.commons used by org.tweetyproject.lp.nlp.syntax

Class	Description
BeliefBase	This class captures an abstract knowledge base, i.e.
Formula	A formula is a basic language construct.

Classes in org.tweetyproject.commons used by org.tweetyproject.math.examples

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.web.spring_services

Class	Description
ParserException	This class models a general exception for parsing.

Classes in org.tweetyproject.commons used by org.tweetyproject.web.spring_services.aba

Class	Description
Formula	A formula is a basic language construct.

Classes in org.tweetyproject.commons used by org.tweetyproject.web.spring_services.delp

Class	Description
Formula	A formula is a basic language construct.