Uses of Package
org.tweetyproject.logics.commons.syntax
-
-
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.action.grounding Class Description Constant A Constant represents an constant object in the world of a logical language.Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.action.grounding.parser Class Description Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.action.query.syntax Class Description Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.action.signature Class Description Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.Sort A sort of first-order logic.TypedStructureAdapter The abstract parent for predicates and functors implementing the TypedStructure interface. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.arg.aba.syntax Class Description Constant A Constant represents an constant object in the world of a logical language.Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.arg.aspic.syntax Class Description Constant A Constant represents an constant object in the world of a logical language.Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.arg.delp.syntax Class Description Constant A Constant represents an constant object in the world of a logical language.Functor A functor for logic language, i.e.Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.RelationalFormula This is the abstract base class for relational formulas, i.e.Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.arg.dung.ldo.syntax Class Description AssociativeFormulaSupport.AssociativeSupportBridge This interface defines a bridge between the AssociativeFormula implementation like a concrete Disjunction and the AssociativeFormulaSupport object which adds the implementation of the common functionality.Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.cl.syntax Class Description Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.commons.syntax Class Description AssociativeFormulaSupport This class provides common implementation for associative formulas that are formulas which consists of several other formulas.AssociativeFormulaSupport.AssociativeSupportBridge This interface defines a bridge between the AssociativeFormula implementation like a concrete Disjunction and the AssociativeFormulaSupport object which adds the implementation of the common functionality.ComplexLogicalFormulaAdapter Abstract base class for ComplexLogicalFormula, that are formulas which implement substitute(), exchange(), getTerms(), isGround() and isWellFormed() and therefore use terms to describe themself.Constant A Constant represents an constant object in the world of a logical language.FunctionalTerm A functional term in a logic language, i.e.Functor A functor for logic language, i.e.NumberTerm This is a term representing an integer number it is used to distinguish between objects like an auto a which is modeled as constant and integral numbers like 42.Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.RelationalFormula This is the abstract base class for relational formulas, i.e.Sort A sort of first-order logic.StringTerm This class represents terms which are objects identified by a string.TermAdapter Abstract base class implementing the substitute(), getSort(), getTerms(), and containsTermsOfType() methods in a way it is useful for terms.TypedStructureAdapter The abstract parent for predicates and functors implementing the TypedStructure interface.Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.commons.syntax.interfaces Class Description Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.Sort A sort of first-order logic.Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.dl.syntax Class Description AssociativeFormulaSupport.AssociativeSupportBridge This interface defines a bridge between the AssociativeFormula implementation like a concrete Disjunction and the AssociativeFormulaSupport object which adds the implementation of the common functionality.Constant A Constant represents an constant object in the world of a logical language.Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.StringTerm This class represents terms which are objects identified by a string.TermAdapter Abstract base class implementing the substitute(), getSort(), getTerms(), and containsTermsOfType() methods in a way it is useful for terms. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.fol.parser Class Description Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.fol.semantics Class Description Constant A Constant represents an constant object in the world of a logical language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.fol.syntax Class Description AssociativeFormulaSupport.AssociativeSupportBridge This interface defines a bridge between the AssociativeFormula implementation like a concrete Disjunction and the AssociativeFormulaSupport object which adds the implementation of the common functionality.Constant A Constant represents an constant object in the world of a logical language.FunctionalTerm A functional term in a logic language, i.e.Functor A functor for logic language, i.e.Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.RelationalFormula This is the abstract base class for relational formulas, i.e.Sort A sort of first-order logic.TypedStructureAdapter The abstract parent for predicates and functors implementing the TypedStructure interface.Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.fol.writer Class Description RelationalFormula This is the abstract base class for relational formulas, i.e. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.ml.parser Class Description RelationalFormula This is the abstract base class for relational formulas, i.e. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.ml.semantics Class Description Constant A Constant represents an constant object in the world of a logical language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.ml.syntax Class Description Functor A functor for logic language, i.e.Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.RelationalFormula This is the abstract base class for relational formulas, i.e.Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.ml.writer Class Description RelationalFormula This is the abstract base class for relational formulas, i.e. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.mln.syntax Class Description Functor A functor for logic language, i.e.Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.RelationalFormula This is the abstract base class for relational formulas, i.e.Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.pl.syntax Class Description AssociativeFormulaSupport.AssociativeSupportBridge This interface defines a bridge between the AssociativeFormula implementation like a concrete Disjunction and the AssociativeFormulaSupport object which adds the implementation of the common functionality.Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.Sort A sort of first-order logic.TypedStructureAdapter The abstract parent for predicates and functors implementing the TypedStructure interface. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.rcl.syntax Class Description Functor A functor for logic language, i.e.Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.RelationalFormula This is the abstract base class for relational formulas, i.e.Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.rdl.syntax Class Description Functor A functor for logic language, i.e.Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.RelationalFormula This is the abstract base class for relational formulas, i.e.Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser Class Description Constant A Constant represents an constant object in the world of a logical language. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.rpcl.semantics Class Description Constant A Constant represents an constant object in the world of a logical language.Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.rpcl.syntax Class Description Constant A Constant represents an constant object in the world of a logical language.RelationalFormula This is the abstract base class for relational formulas, i.e. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.logics.translators Class Description Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.lp.asp.syntax Class Description AssociativeFormulaSupport.AssociativeSupportBridge This interface defines a bridge between the AssociativeFormula implementation like a concrete Disjunction and the AssociativeFormulaSupport object which adds the implementation of the common functionality.Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.TermAdapter Abstract base class implementing the substitute(), getSort(), getTerms(), and containsTermsOfType() methods in a way it is useful for terms. -
Classes in org.tweetyproject.logics.commons.syntax used by org.tweetyproject.lp.nlp.syntax Class Description ComplexLogicalFormulaAdapter Abstract base class for ComplexLogicalFormula, that are formulas which implement substitute(), exchange(), getTerms(), isGround() and isWellFormed() and therefore use terms to describe themself.Functor A functor for logic language, i.e.Predicate A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.RelationalFormula This is the abstract base class for relational formulas, i.e.Variable A Variable is a placeholder for Constants in a generic formula of a logic language.