Uses of Package
org.tweetyproject.logics.commons.syntax.interfaces
Packages that use org.tweetyproject.logics.commons.syntax.interfaces
Package
Description
-
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.action.query.syntaxClassDescriptionAn atomic language construct, linked to its predicateThis interface models a classical formula, i.e.Formulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementA formula of a logical languageA 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.signatureClassDescriptionA term of a logical language, that can be given as argument for logical constructs like atoms or functors.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.syntaxClassDescriptionAn atomic language construct, linked to its predicateA complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.This interface captures the common functionalities of formulas, sorts and terms.A formula of a logical languageA 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.syntaxClassDescriptionAn atomic language construct, linked to its predicateA complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.Formulas implementing this interface have a complementThis interface captures the common functionalities of formulas, sorts and terms.A formula of a logical languageA 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.parserClassDescriptionA 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.syntaxClassDescriptionThis interface models a classical formula, i.e.A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.Formulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementThis interface captures the common functionalities of formulas, sorts and terms.Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.A formula of a logical languageA 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.syntaxClassDescriptionThis interfaces describes associative formulas like a disjunction or a conjunction.An atomic language construct, linked to its predicateAn enum containing the different return values of the setPredicate() method of Atom.This interface models a classical formula, i.e.Formulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementA formula of a logical languageA 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.cl.syntaxClassDescriptionFormulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.A formula of a logical language
-
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.logics.commons.syntaxClassDescriptionThis interfaces describes associative formulas like a disjunction or a conjunction.An atomic language construct, linked to its predicateThis interface models a classical formula, i.e.A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.Formulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementThis interface captures the common functionalities of formulas, sorts and terms.Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.A formula of a logical languageA term of a logical language, that can be given as argument for logical constructs like atoms or functors.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.interfacesClassDescriptionAn atomic language construct, linked to its predicateAn enum containing the different return values of the setPredicate() method of Atom.A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.Formulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementAn interface for a logic program, which is a set of rules.This interface captures the common functionalities of formulas, sorts and terms.A formula of a logical languageA term of a logical language, that can be given as argument for logical constructs like atoms or functors.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.syntaxClassDescriptionThis interfaces describes associative formulas like a disjunction or a conjunction.An atomic language construct, linked to its predicateThis interface models a classical formula, i.e.Formulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementThis interface captures the common functionalities of formulas, sorts and terms.A formula of a logical languageA 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.semanticsClassDescriptionA 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.syntaxClassDescriptionThis interfaces describes associative formulas like a disjunction or a conjunction.An atomic language construct, linked to its predicateAn enum containing the different return values of the setPredicate() method of Atom.This interface models a classical formula, i.e.A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.Formulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementThis interface captures the common functionalities of formulas, sorts and terms.Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.A formula of a logical languageA term of a logical language, that can be given as argument for logical constructs like atoms or functors.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.semanticsClassDescriptionA 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.syntaxClassDescriptionThis interface models a classical formula, i.e.A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.Formulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementThis interface captures the common functionalities of formulas, sorts and terms.Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.A formula of a logical languageA 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.syntaxClassDescriptionThis interface models a classical formula, i.e.A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.Formulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementThis interface captures the common functionalities of formulas, sorts and terms.Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.A formula of a logical languageA 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.pl.syntaxClassDescriptionThis interfaces describes associative formulas like a disjunction or a conjunction.An atomic language construct, linked to its predicateAn enum containing the different return values of the setPredicate() method of Atom.This interface models a classical formula, i.e.Formulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementA formula of a logical languageA term of a logical language, that can be given as argument for logical constructs like atoms or functors.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.syntaxClassDescriptionThis interface models a classical formula, i.e.Formulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementA formula of a logical language
-
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.logics.rcl.syntaxClassDescriptionThis interface models a classical formula, i.e.A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.Formulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementThis interface captures the common functionalities of formulas, sorts and terms.Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.A formula of a logical languageA 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.syntaxClassDescriptionThis interface models a classical formula, i.e.A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.Formulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementThis interface captures the common functionalities of formulas, sorts and terms.Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.A formula of a logical languageA 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.syntaxClassDescriptionThis interface models a classical formula, i.e.A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.Formulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementThis interface captures the common functionalities of formulas, sorts and terms.Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.A formula of a logical languageA 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.translatorsClassDescriptionThis interfaces describes associative formulas like a disjunction or a conjunction.An atomic language construct, linked to its predicateA formula of a logical language
-
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.logics.translators.adfrevisionClassDescriptionThis interface models a classical formula, i.e.Formulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementA formula of a logical language
-
-
Classes in org.tweetyproject.logics.commons.syntax.interfaces used by org.tweetyproject.lp.asp.parserClassDescriptionA 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.syntaxClassDescriptionThis interfaces describes associative formulas like a disjunction or a conjunction.An atomic language construct, linked to its predicateAn enum containing the different return values of the setPredicate() method of Atom.A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementAn interface for a logic program, which is a set of rules.This interface captures the common functionalities of formulas, sorts and terms.A formula of a logical languageA term of a logical language, that can be given as argument for logical constructs like atoms or functors.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.lp.nlp.syntaxClassDescriptionThis interface models a classical formula, i.e.A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.Formulas implementing this interface can be connected by using AND.Formulas implementing this interface can be connected using OR.Formulas implementing this interface have a complementAn interface for a logic program, which is a set of rules.This interface captures the common functionalities of formulas, sorts and terms.Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.A formula of a logical languageA term of a logical language, that can be given as argument for logical constructs like atoms or functors.