Uses of Package
org.tweetyproject.logics.commons.syntax.interfaces
-
-
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.action.query.syntax Class Description Atom An atomic language construct, linked to its predicateClassicalFormula 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 complementProbabilityAware SimpleLogicalFormula A formula of a logical languageTerm A term of a logical language, that can be given as argument for logical constructs like atoms or functors. -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.arg.aba.semantics Class Description Invertable Formulas implementing this interface have a complement -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.arg.aba.syntax Class Description Atom An atomic language construct, linked to its predicateComplexLogicalFormula 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 languageTerm A term of a logical language, that can be given as argument for logical constructs like atoms or functors. -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.arg.aspic.order Class Description Invertable Formulas implementing this interface have a complement -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.arg.aspic.parser Class Description Invertable Formulas implementing this interface have a complement -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.arg.aspic.reasoner Class Description Invertable Formulas implementing this interface have a complement -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.arg.aspic.ruleformulagenerator Class Description Invertable Formulas implementing this interface have a complement -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.arg.aspic.semantics Class Description Invertable Formulas implementing this interface have a complement -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.arg.aspic.syntax Class Description Atom An atomic language construct, linked to its predicateComplexLogicalFormula 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 complementLogicStructure This interface captures the common functionalities of formulas, sorts and terms.SimpleLogicalFormula A formula of a logical languageTerm A term of a logical language, that can be given as argument for logical constructs like atoms or functors. -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.arg.aspic.writer Class Description Invertable Formulas implementing this interface have a complement -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 complementLogicStructure 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 languageTerm A term of a logical language, that can be given as argument for logical constructs like atoms or functors. -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 predicateAtom.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 complementProbabilityAware SimpleLogicalFormula A formula of a logical languageTerm A term of a logical language, that can be given as argument for logical constructs like atoms or functors. -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.beliefdynamics Class Description ClassicalFormula This interface models a classical formula, i.e. -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 predicateClassicalFormula 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 complementLogicStructure 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 languageTerm 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 org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.logics.commons.syntax.interfaces Class Description Atom An atomic language construct, linked to its predicateAtom.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 complementLogicProgram 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 languageTerm 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 org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 predicateClassicalFormula 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 complementLogicStructure This interface captures the common functionalities of formulas, sorts and terms.ProbabilityAware SimpleLogicalFormula A formula of a logical languageTerm A term of a logical language, that can be given as argument for logical constructs like atoms or functors. -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 predicateAtom.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 complementLogicStructure 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 languageTerm 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 org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 complementLogicStructure 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 languageTerm A term of a logical language, that can be given as argument for logical constructs like atoms or functors. -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 complementLogicStructure 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 languageTerm A term of a logical language, that can be given as argument for logical constructs like atoms or functors. -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.logics.pcl.syntax Class Description ProbabilityAware SimpleLogicalFormula A formula of a logical language -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 predicateAtom.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 complementProbabilityAware SimpleLogicalFormula A formula of a logical languageTerm 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 org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 complementProbabilityAware SimpleLogicalFormula A formula of a logical language -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 complementLogicStructure 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 languageTerm A term of a logical language, that can be given as argument for logical constructs like atoms or functors. -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 complementLogicStructure 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 languageTerm A term of a logical language, that can be given as argument for logical constructs like atoms or functors. -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 complementLogicStructure 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 languageTerm A term of a logical language, that can be given as argument for logical constructs like atoms or functors. -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.logics.translators Class Description AssociativeFormula This interfaces describes associative formulas like a disjunction or a conjunction.Atom An atomic language construct, linked to its predicateSimpleLogicalFormula A formula of a logical language -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.logics.translators.aspfol Class Description SimpleLogicalFormula A formula of a logical language -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 predicateAtom.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 complementLogicProgram 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 languageTerm A term of a logical language, that can be given as argument for logical constructs like atoms or functors. -
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.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 complementLogicProgram 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 languageTerm A term of a logical language, that can be given as argument for logical constructs like atoms or functors.