Uses of Package
net.sf.tweety.commons

Packages that use net.sf.tweety.commons

Package	Description
net.sf.tweety.action
net.sf.tweety.action.description
net.sf.tweety.action.description.parser
net.sf.tweety.action.description.syntax
net.sf.tweety.action.grounding.parser
net.sf.tweety.action.query
net.sf.tweety.action.query.parser
net.sf.tweety.action.query.syntax
net.sf.tweety.action.signature
net.sf.tweety.action.signature.parser
net.sf.tweety.agents.dialogues
net.sf.tweety.agents.dialogues.structured
net.sf.tweety.agents.dialogues.test
net.sf.tweety.arg.aba
net.sf.tweety.arg.aba.parser
net.sf.tweety.arg.aba.semantics
net.sf.tweety.arg.aba.syntax
net.sf.tweety.arg.aspic
net.sf.tweety.arg.aspic.parser
net.sf.tweety.arg.aspic.semantics
net.sf.tweety.arg.aspic.syntax
net.sf.tweety.arg.deductive
net.sf.tweety.arg.deductive.semantics
net.sf.tweety.arg.deductive.test
net.sf.tweety.arg.delp
net.sf.tweety.arg.delp.parser
net.sf.tweety.arg.delp.semantics
net.sf.tweety.arg.delp.syntax
net.sf.tweety.arg.dung
net.sf.tweety.arg.dung.ldo.semantics
net.sf.tweety.arg.dung.ldo.syntax
net.sf.tweety.arg.dung.parser
net.sf.tweety.arg.dung.semantics
net.sf.tweety.arg.dung.syntax
net.sf.tweety.arg.dung.test
net.sf.tweety.arg.dung.util
net.sf.tweety.arg.lp
net.sf.tweety.arg.lp.syntax
net.sf.tweety.arg.prob
net.sf.tweety.arg.prob.test.deductive
net.sf.tweety.arg.saf
net.sf.tweety.arg.saf.syntax
net.sf.tweety.arg.saf.util
net.sf.tweety.arg.social
net.sf.tweety.arg.social.semantics
net.sf.tweety.beliefdynamics
net.sf.tweety.beliefdynamics.gui
net.sf.tweety.beliefdynamics.kernels
net.sf.tweety.beliefdynamics.mas
net.sf.tweety.beliefdynamics.selectiverevision
net.sf.tweety.beliefdynamics.test
net.sf.tweety.cli
net.sf.tweety.commons
net.sf.tweety.commons.analysis
net.sf.tweety.commons.streams
net.sf.tweety.commons.util.rules
net.sf.tweety.logics.cl
net.sf.tweety.logics.cl.parser
net.sf.tweety.logics.cl.semantics
net.sf.tweety.logics.cl.syntax
net.sf.tweety.logics.commons.analysis
net.sf.tweety.logics.commons.analysis.streams
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces
net.sf.tweety.logics.dl.syntax
net.sf.tweety.logics.el.semantics
net.sf.tweety.logics.el.syntax
net.sf.tweety.logics.fol
net.sf.tweety.logics.fol.lang
net.sf.tweety.logics.fol.parser
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.fol.test
net.sf.tweety.logics.ml
net.sf.tweety.logics.ml.analysis
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.ml.test
net.sf.tweety.logics.pcl
net.sf.tweety.logics.pcl.analysis
net.sf.tweety.logics.pcl.parser
net.sf.tweety.logics.pcl.semantics
net.sf.tweety.logics.pcl.syntax
net.sf.tweety.logics.pcl.test
net.sf.tweety.logics.pcl.util
net.sf.tweety.logics.pl
net.sf.tweety.logics.pl.analysis
net.sf.tweety.logics.pl.lang
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.rcl
net.sf.tweety.logics.rcl.parser
net.sf.tweety.logics.rcl.semantics
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rcl.test
net.sf.tweety.logics.rdl
net.sf.tweety.logics.rdl.parser
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.logics.rpcl
net.sf.tweety.logics.rpcl.parser
net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser
net.sf.tweety.logics.rpcl.plugin
net.sf.tweety.logics.rpcl.semantics
net.sf.tweety.logics.rpcl.syntax
net.sf.tweety.logics.rpcl.test
net.sf.tweety.logics.rpcl.writers
net.sf.tweety.lp.asp.beliefdynamics.baserevision
net.sf.tweety.lp.asp.beliefdynamics.gui
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.asp.util
net.sf.tweety.lp.nlp.syntax
net.sf.tweety.web.services

Classes in net.sf.tweety.commons used by net.sf.tweety.action

Class and 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 net.sf.tweety.commons used by net.sf.tweety.action.description

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

Classes in net.sf.tweety.commons used by net.sf.tweety.action.description.parser

Class and 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 net.sf.tweety.commons used by net.sf.tweety.action.description.syntax

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

Classes in net.sf.tweety.commons used by net.sf.tweety.action.grounding.parser

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

Classes in net.sf.tweety.commons used by net.sf.tweety.action.query

Class and 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 net.sf.tweety.commons used by net.sf.tweety.action.query.parser

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

Classes in net.sf.tweety.commons used by net.sf.tweety.action.query.syntax

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

Classes in net.sf.tweety.commons used by net.sf.tweety.action.signature

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

Classes in net.sf.tweety.commons used by net.sf.tweety.action.signature.parser

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

Classes in net.sf.tweety.commons used by net.sf.tweety.agents.dialogues

Class and 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 net.sf.tweety.commons used by net.sf.tweety.agents.dialogues.structured

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

Classes in net.sf.tweety.commons used by net.sf.tweety.agents.dialogues.test

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

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.aba

Class and Description
Answer An abstract answer of a knowledge base to a query.
BeliefBase This class captures an abstract knowledge base, i.e.
Formula A formula is a basic language construct.
Reasoner A reasoner specifies a specific inference operation for a given language.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.aba.parser

Class and 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 net.sf.tweety.commons used by net.sf.tweety.arg.aba.semantics

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.aba.syntax

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

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.aspic

Class and Description
Answer An abstract answer of a knowledge base to a query.
BeliefBase This class captures an abstract knowledge base, i.e.
Formula A formula is a basic language construct.
Reasoner A reasoner specifies a specific inference operation for a given language.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.aspic.parser

Class and 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 net.sf.tweety.commons used by net.sf.tweety.arg.aspic.semantics

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.aspic.syntax

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.deductive

Class and Description
Answer An abstract answer of a knowledge base to a query.
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.
Reasoner A reasoner specifies a specific inference operation for a given language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.deductive.semantics

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

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.deductive.test

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

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.delp

Class and Description
Answer An abstract answer of a knowledge base to a query.
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.
Reasoner A reasoner specifies a specific inference operation for a given language.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.delp.parser

Class and 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 net.sf.tweety.commons used by net.sf.tweety.arg.delp.semantics

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.delp.syntax

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

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.dung

Class and Description
Answer An abstract answer of a knowledge base to a query.
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.
Reasoner A reasoner specifies a specific inference operation for a given language.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.dung.ldo.semantics

Class and 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 net.sf.tweety.commons used by net.sf.tweety.arg.dung.ldo.syntax

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

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.dung.parser

Class and 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 net.sf.tweety.commons used by net.sf.tweety.arg.dung.semantics

Class and 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 net.sf.tweety.commons used by net.sf.tweety.arg.dung.syntax

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

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.dung.test

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

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.dung.util

Class and Description
Parser This class models an abstract parser for belief bases and formulas.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.lp

Class and Description
Answer An abstract answer of a knowledge base to a query.
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.
Reasoner A reasoner specifies a specific inference operation for a given language.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.lp.syntax

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

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.prob

Class and Description
Answer An abstract answer of a knowledge base to a query.
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.
Reasoner A reasoner specifies a specific inference operation for a given language.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.prob.test.deductive

Class and Description
Answer An abstract answer of a knowledge base to a query.
BeliefBase This class captures an abstract knowledge base, i.e.
Formula A formula is a basic language construct.
ParserException This class models a general exception for parsing.
Reasoner A reasoner specifies a specific inference operation for a given language.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.saf

Class and Description
Answer An abstract answer of a knowledge base to a query.
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.
Reasoner A reasoner specifies a specific inference operation for a given language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.saf.syntax

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.saf.util

Class and Description
BeliefBaseSampler This abstract class models a sampler for belief bases.
FormulaSampler This abstract class models a sampler for formulas.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.social

Class and Description
Answer An abstract answer of a knowledge base to a query.
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.
Reasoner A reasoner specifies a specific inference operation for a given language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.social.semantics

Class and 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 net.sf.tweety.commons used by net.sf.tweety.beliefdynamics

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.beliefdynamics.gui

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

Classes in net.sf.tweety.commons used by net.sf.tweety.beliefdynamics.kernels

Class and Description
EntailmentRelation An entailment relation determines whether a formula is entailed from another formula.
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.beliefdynamics.mas

Class and 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 net.sf.tweety.commons used by net.sf.tweety.beliefdynamics.selectiverevision

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.beliefdynamics.test

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

Classes in net.sf.tweety.commons used by net.sf.tweety.cli

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

Classes in net.sf.tweety.commons used by net.sf.tweety.commons

Class and Description
AbstractInterpretation An abstract interpretation for some logical language.
Answer An abstract answer of a knowledge base to a query.
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.
InterpretationIterator An iterator over interpretations.
ParserException This class models a general exception for parsing.
Signature A signatures lists the atomic language structures for some language.
TweetyConfiguration.LogLevel The possible log levels.

Classes in net.sf.tweety.commons used by net.sf.tweety.commons.analysis

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

Classes in net.sf.tweety.commons used by net.sf.tweety.commons.streams

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.commons.util.rules

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

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.cl

Class and Description
Answer An abstract answer of a knowledge base to a query.
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.
Reasoner A reasoner specifies a specific inference operation for a given language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.cl.parser

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

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.cl.semantics

Class and 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 net.sf.tweety.commons used by net.sf.tweety.logics.cl.syntax

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

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.commons.analysis

Class and 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.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.commons.analysis.streams

Class and Description
Formula A formula is a basic language construct.

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

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

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.commons.syntax.interfaces

Class and 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 net.sf.tweety.commons used by net.sf.tweety.logics.dl.syntax

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

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.el.semantics

Class and 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 net.sf.tweety.commons used by net.sf.tweety.logics.el.syntax

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.fol

Class and Description
Answer An abstract answer of a knowledge base to a query.
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.
Reasoner A reasoner specifies a specific inference operation for a given language.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.fol.lang

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
Formula A formula is a basic language construct.
Language A language for a given signature specifies which formulas, knowledge bases, and queries can be constructed.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.fol.parser

Class and 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 net.sf.tweety.commons used by net.sf.tweety.logics.fol.semantics

Class and 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.
InterpretationSet This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.fol.syntax

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

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.fol.test

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

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.ml

Class and Description
Answer An abstract answer of a knowledge base to a query.
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.
Reasoner A reasoner specifies a specific inference operation for a given language.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.ml.analysis

Class and Description
Reasoner A reasoner specifies a specific inference operation for a given language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.ml.syntax

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.ml.test

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

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.pcl

Class and Description
Answer An abstract answer of a knowledge base to a query.
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.
Reasoner A reasoner specifies a specific inference operation for a given language.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.pcl.analysis

Class and 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 net.sf.tweety.commons used by net.sf.tweety.logics.pcl.parser

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

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.pcl.semantics

Class and 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.
Signature A signatures lists the atomic language structures for some language.

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

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.pcl.test

Class and Description
BeliefSet This class models a belief set, i.e.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.pcl.util

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

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

Class and Description
Answer An abstract answer of a knowledge base to a query.
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
EntailmentRelation An entailment relation determines whether a formula is entailed from another formula.
Formula A formula is a basic language construct.
Interpretation An interpretation for some logical language.
Reasoner A reasoner specifies a specific inference operation for a given language.
Signature A signatures lists the atomic language structures for some language.

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

Class and Description
BeliefSet This class models a belief set, i.e.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.pl.lang

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
Formula A formula is a basic language construct.
Language A language for a given signature specifies which formulas, knowledge bases, and queries can be constructed.
Signature A signatures lists the atomic language structures for some language.

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

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

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

Class and Description
BeliefSet This class models a belief set, i.e.
Interpretation An interpretation for some logical language.

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

Class and 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.
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 net.sf.tweety.commons used by net.sf.tweety.logics.pl.syntax

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

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

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

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

Class and Description
BeliefBaseSampler This abstract class models a sampler for belief bases.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rcl

Class and Description
Answer An abstract answer of a knowledge base to a query.
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.
Reasoner A reasoner specifies a specific inference operation for a given language.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rcl.parser

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

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rcl.semantics

Class and 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 net.sf.tweety.commons used by net.sf.tweety.logics.rcl.syntax

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rcl.test

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

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rdl

Class and Description
Answer An abstract answer of a knowledge base to a query.
BeliefBase This class captures an abstract knowledge base, i.e.
Formula A formula is a basic language construct.
Reasoner A reasoner specifies a specific inference operation for a given language.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rdl.parser

Class and 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 net.sf.tweety.commons used by net.sf.tweety.logics.rdl.syntax

Class and Description
Formula A formula is a basic language construct.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl

Class and Description
AbstractInterpretation An abstract interpretation for some logical language.
Answer An abstract answer of a knowledge base to a query.
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.
Reasoner A reasoner specifies a specific inference operation for a given language.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.parser

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

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

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

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser

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

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.plugin

Class and Description
Answer An abstract answer of a knowledge base to a query.
Writer This class represents an abstract writer for writing objects into the file system.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.semantics

Class and 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 net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.syntax

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.test

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

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.writers

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

Classes in net.sf.tweety.commons used by net.sf.tweety.lp.asp.beliefdynamics.baserevision

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.lp.asp.beliefdynamics.gui

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.lp.asp.syntax

Class and 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 net.sf.tweety.commons used by net.sf.tweety.lp.asp.util

Class and 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 net.sf.tweety.commons used by net.sf.tweety.lp.nlp.syntax

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

Classes in net.sf.tweety.commons used by net.sf.tweety.web.services

Class and Description
BeliefSet This class models a belief set, i.e.