Uses of Package
net.sf.tweety.logics.commons.syntax.interfaces

Packages that use net.sf.tweety.logics.commons.syntax.interfaces

Package	Description
net.sf.tweety.action.query.syntax
net.sf.tweety.action.signature
net.sf.tweety.arg.aba.semantics
net.sf.tweety.arg.aba.syntax
net.sf.tweety.arg.aspic.order
net.sf.tweety.arg.aspic.parser
net.sf.tweety.arg.aspic.reasoner
net.sf.tweety.arg.aspic.ruleformulagenerator
net.sf.tweety.arg.aspic.semantics
net.sf.tweety.arg.aspic.syntax
net.sf.tweety.arg.aspic.writer
net.sf.tweety.arg.delp.parser
net.sf.tweety.arg.delp.syntax
net.sf.tweety.arg.dung.ldo.syntax
net.sf.tweety.beliefdynamics
net.sf.tweety.logics.cl.syntax
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces
net.sf.tweety.logics.dl.syntax
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.ml.semantics
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.mln.syntax
net.sf.tweety.logics.pcl.syntax
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.qbf.syntax
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.logics.rpcl.syntax
net.sf.tweety.logics.translators
net.sf.tweety.logics.translators.aspfol
net.sf.tweety.lp.asp.parser
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.nlp.syntax

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

Class	Description
Atom	An atomic language construct, linked to its predicate
ClassicalFormula	This interface models a classical formula, i.e.
Conjunctable	Formulas implementing this interface can be connected by using AND.
Disjunctable	Formulas implementing this interface can be connected using OR.
Invertable	Formulas implementing this interface have a complement
ProbabilityAware
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

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

Class	Description
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.
TypedStructure	This interface defines method which are given by every TypedStructure like a Predicate or an Functor.

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

Class	Description
Invertable	Formulas implementing this interface have a complement

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

Class	Description
Atom	An atomic language construct, linked to its predicate
ComplexLogicalFormula	A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
LogicStructure	This interface captures the common functionalities of formulas, sorts and terms.
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

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

Class	Description
Invertable	Formulas implementing this interface have a complement

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

Class	Description
Invertable	Formulas implementing this interface have a complement

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

Class	Description
Invertable	Formulas implementing this interface have a complement

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

Class	Description
Invertable	Formulas implementing this interface have a complement

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

Class	Description
Invertable	Formulas implementing this interface have a complement

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

Class	Description
Atom	An atomic language construct, linked to its predicate
ComplexLogicalFormula	A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
Invertable	Formulas implementing this interface have a complement
LogicStructure	This interface captures the common functionalities of formulas, sorts and terms.
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

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

Class	Description
Invertable	Formulas implementing this interface have a complement

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

Class	Description
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

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

Class	Description
ClassicalFormula	This interface models a classical formula, i.e.
ComplexLogicalFormula	A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
Conjunctable	Formulas implementing this interface can be connected by using AND.
Disjunctable	Formulas implementing this interface can be connected using OR.
Invertable	Formulas implementing this interface have a complement
LogicStructure	This interface captures the common functionalities of formulas, sorts and terms.
ProbabilityAware
QuantifiedFormula	Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

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

Class	Description
AssociativeFormula	This interfaces describes associative formulas like a disjunction or a conjunction.
Atom	An atomic language construct, linked to its predicate
Atom.RETURN_SET_PREDICATE	An enum containing the different return values of the setPredicate() method of Atom.
ClassicalFormula	This interface models a classical formula, i.e.
Conjunctable	Formulas implementing this interface can be connected by using AND.
Disjunctable	Formulas implementing this interface can be connected using OR.
Invertable	Formulas implementing this interface have a complement
ProbabilityAware
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

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

Class	Description
ClassicalFormula	This interface models a classical formula, i.e.

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

Class	Description
Conjunctable	Formulas implementing this interface can be connected by using AND.
Disjunctable	Formulas implementing this interface can be connected using OR.
SimpleLogicalFormula	A formula of a logical language

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

Class	Description
AssociativeFormula	This interfaces describes associative formulas like a disjunction or a conjunction.
Atom	An atomic language construct, linked to its predicate
ClassicalFormula	This interface models a classical formula, i.e.
ComplexLogicalFormula	A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
Conjunctable	Formulas implementing this interface can be connected by using AND.
Disjunctable	Formulas implementing this interface can be connected using OR.
Invertable	Formulas implementing this interface have a complement
LogicStructure	This interface captures the common functionalities of formulas, sorts and terms.
ProbabilityAware
QuantifiedFormula	Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.
TypedStructure	This interface defines method which are given by every TypedStructure like a Predicate or an Functor.

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

Class	Description
Atom	An atomic language construct, linked to its predicate
Atom.RETURN_SET_PREDICATE	An enum containing the different return values of the setPredicate() method of Atom.
ComplexLogicalFormula	A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
Conjunctable	Formulas implementing this interface can be connected by using AND.
Disjunctable	Formulas implementing this interface can be connected using OR.
Invertable	Formulas implementing this interface have a complement
LogicProgram	An interface for a logic program, which is a set of rules.
LogicStructure	This interface captures the common functionalities of formulas, sorts and terms.
ProbabilityAware
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.
TypedStructure	This interface defines method which are given by every TypedStructure like a Predicate or an Functor.

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

Class	Description
AssociativeFormula	This interfaces describes associative formulas like a disjunction or a conjunction.
Atom	An atomic language construct, linked to its predicate
ClassicalFormula	This interface models a classical formula, i.e.
Conjunctable	Formulas implementing this interface can be connected by using AND.
Disjunctable	Formulas implementing this interface can be connected using OR.
Invertable	Formulas implementing this interface have a complement
LogicStructure	This interface captures the common functionalities of formulas, sorts and terms.
ProbabilityAware
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

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

Class	Description
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

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

Class	Description
AssociativeFormula	This interfaces describes associative formulas like a disjunction or a conjunction.
Atom	An atomic language construct, linked to its predicate
Atom.RETURN_SET_PREDICATE	An enum containing the different return values of the setPredicate() method of Atom.
ClassicalFormula	This interface models a classical formula, i.e.
ComplexLogicalFormula	A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
Conjunctable	Formulas implementing this interface can be connected by using AND.
Disjunctable	Formulas implementing this interface can be connected using OR.
Invertable	Formulas implementing this interface have a complement
LogicStructure	This interface captures the common functionalities of formulas, sorts and terms.
ProbabilityAware
QuantifiedFormula	Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.
TypedStructure	This interface defines method which are given by every TypedStructure like a Predicate or an Functor.

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

Class	Description
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

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

Class	Description
ClassicalFormula	This interface models a classical formula, i.e.
ComplexLogicalFormula	A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
Conjunctable	Formulas implementing this interface can be connected by using AND.
Disjunctable	Formulas implementing this interface can be connected using OR.
Invertable	Formulas implementing this interface have a complement
LogicStructure	This interface captures the common functionalities of formulas, sorts and terms.
ProbabilityAware
QuantifiedFormula	Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

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

Class	Description
ClassicalFormula	This interface models a classical formula, i.e.
ComplexLogicalFormula	A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
Conjunctable	Formulas implementing this interface can be connected by using AND.
Disjunctable	Formulas implementing this interface can be connected using OR.
Invertable	Formulas implementing this interface have a complement
LogicStructure	This interface captures the common functionalities of formulas, sorts and terms.
ProbabilityAware
QuantifiedFormula	Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

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

Class	Description
ProbabilityAware
SimpleLogicalFormula	A formula of a logical language

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

Class	Description
AssociativeFormula	This interfaces describes associative formulas like a disjunction or a conjunction.
Atom	An atomic language construct, linked to its predicate
Atom.RETURN_SET_PREDICATE	An enum containing the different return values of the setPredicate() method of Atom.
ClassicalFormula	This interface models a classical formula, i.e.
Conjunctable	Formulas implementing this interface can be connected by using AND.
Disjunctable	Formulas implementing this interface can be connected using OR.
Invertable	Formulas implementing this interface have a complement
ProbabilityAware
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.
TypedStructure	This interface defines method which are given by every TypedStructure like a Predicate or an Functor.

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

Class	Description
ClassicalFormula	This interface models a classical formula, i.e.
Conjunctable	Formulas implementing this interface can be connected by using AND.
Disjunctable	Formulas implementing this interface can be connected using OR.
Invertable	Formulas implementing this interface have a complement
ProbabilityAware
SimpleLogicalFormula	A formula of a logical language

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

Class	Description
ClassicalFormula	This interface models a classical formula, i.e.
ComplexLogicalFormula	A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
Conjunctable	Formulas implementing this interface can be connected by using AND.
Disjunctable	Formulas implementing this interface can be connected using OR.
Invertable	Formulas implementing this interface have a complement
LogicStructure	This interface captures the common functionalities of formulas, sorts and terms.
ProbabilityAware
QuantifiedFormula	Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

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

Class	Description
ClassicalFormula	This interface models a classical formula, i.e.
ComplexLogicalFormula	A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
Conjunctable	Formulas implementing this interface can be connected by using AND.
Disjunctable	Formulas implementing this interface can be connected using OR.
Invertable	Formulas implementing this interface have a complement
LogicStructure	This interface captures the common functionalities of formulas, sorts and terms.
ProbabilityAware
QuantifiedFormula	Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

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

Class	Description
ClassicalFormula	This interface models a classical formula, i.e.
ComplexLogicalFormula	A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
Conjunctable	Formulas implementing this interface can be connected by using AND.
Disjunctable	Formulas implementing this interface can be connected using OR.
Invertable	Formulas implementing this interface have a complement
LogicStructure	This interface captures the common functionalities of formulas, sorts and terms.
ProbabilityAware
QuantifiedFormula	Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

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

Class	Description
AssociativeFormula	This interfaces describes associative formulas like a disjunction or a conjunction.
Atom	An atomic language construct, linked to its predicate
SimpleLogicalFormula	A formula of a logical language

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

Class	Description
SimpleLogicalFormula	A formula of a logical language

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

Class	Description
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

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

Class	Description
AssociativeFormula	This interfaces describes associative formulas like a disjunction or a conjunction.
Atom	An atomic language construct, linked to its predicate
Atom.RETURN_SET_PREDICATE	An enum containing the different return values of the setPredicate() method of Atom.
ComplexLogicalFormula	A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
Disjunctable	Formulas implementing this interface can be connected using OR.
Invertable	Formulas implementing this interface have a complement
LogicProgram	An interface for a logic program, which is a set of rules.
LogicStructure	This interface captures the common functionalities of formulas, sorts and terms.
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

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

Class	Description
ClassicalFormula	This interface models a classical formula, i.e.
ComplexLogicalFormula	A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
Conjunctable	Formulas implementing this interface can be connected by using AND.
Disjunctable	Formulas implementing this interface can be connected using OR.
Invertable	Formulas implementing this interface have a complement
LogicProgram	An interface for a logic program, which is a set of rules.
LogicStructure	This interface captures the common functionalities of formulas, sorts and terms.
ProbabilityAware
QuantifiedFormula	Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.
SimpleLogicalFormula	A formula of a logical language
Term	A term of a logical language, that can be given as argument for logical constructs like atoms or functors.