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.aspic
net.sf.tweety.arg.aspic.order
net.sf.tweety.arg.aspic.parser
net.sf.tweety.arg.aspic.ruleformulagenerator
net.sf.tweety.arg.aspic.semantics
net.sf.tweety.arg.aspic.syntax
net.sf.tweety.arg.delp
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.el.syntax
net.sf.tweety.logics.fol.parser
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.ml
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.pcl.syntax
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.logics.rpcl
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 and Description
Atom An atomic language construct, linked to its predicate
ClassicalFormula This interface models a classical formula, i.e.
Conjuctable 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 and 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.aspic

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

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

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

Class and 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 and 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.
Conjuctable 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 and 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.
Conjuctable 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 and 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 and Description
Conjuctable 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 and Description
AssociativeFormula This interfaces describes associative formulas like a disjunction or a conjunction.
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.
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 and 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.
Conjuctable 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.el.syntax

Class and 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.
Conjuctable 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.fol.parser

Class and 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.logics.fol.semantics

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

Class and 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 and 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.
Conjuctable 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 and 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 and 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.
Conjuctable 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.rcl.syntax

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

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

Class and 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.
Conjuctable 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 and 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 and 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 and 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 and 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.
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.lp.nlp.syntax

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