Uses of Package
net.sf.tweety.logics.commons.syntax
-
-
Classes in net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.action.grounding.parser Class Description Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in net.sf.tweety.logics.commons.syntax used by net.sf.tweety.action.query.syntax Class Description Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.logics.fol.parser Class Description Variable A Variable is a placeholder for Constants in a generic formula of a logic language. -
Classes in net.sf.tweety.logics.commons.syntax used by net.sf.tweety.logics.fol.semantics Class Description Constant A Constant represents an constant object in the world of a logical language. -
Classes in net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.logics.fol.writer Class Description RelationalFormula This is the abstract base class for relational formulas, i.e. -
Classes in net.sf.tweety.logics.commons.syntax used by net.sf.tweety.logics.ml.parser Class Description RelationalFormula This is the abstract base class for relational formulas, i.e. -
Classes in net.sf.tweety.logics.commons.syntax used by net.sf.tweety.logics.ml.semantics Class Description Constant A Constant represents an constant object in the world of a logical language. -
Classes in net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.logics.ml.writer Class Description RelationalFormula This is the abstract base class for relational formulas, i.e. -
Classes in net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser Class Description Constant A Constant represents an constant object in the world of a logical language. -
Classes in net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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 net.sf.tweety.logics.commons.syntax used by net.sf.tweety.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.