Uses of Interface
org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure
Package
Description
-
Uses of TypedStructure in org.tweetyproject.action.signature
Modifier and TypeClassDescriptionclass
This class represents an action name.class
This class represents a fluent name. -
Uses of TypedStructure in org.tweetyproject.logics.commons.syntax
Modifier and TypeClassDescriptionclass
A functor for logic language, i.e.class
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.class
The abstract parent for predicates and functors implementing the TypedStructure interface. -
Uses of TypedStructure in org.tweetyproject.logics.commons.syntax.interfaces
-
Uses of TypedStructure in org.tweetyproject.logics.fol.syntax
Modifier and TypeClassDescriptionclass
This class models an equality predicate, meaning a predicate of arity 2 that maps to the identity relation.class
This class models an inequality predicate, meaning a predicate of arity 2 that maps to the complement of the identity relation. -
Uses of TypedStructure in org.tweetyproject.logics.pl.syntax
Modifier and TypeClassDescriptionclass
A specialized predicate for propositional logic that only allows an identifier but has no arguments and therefore has an arity of zero. -
Uses of TypedStructure in org.tweetyproject.lp.asp.syntax
Modifier and TypeClassDescriptionstatic class
Additional special predicates of the clingo syntax that have no direct representation in the DLV or ASP-Core-2 format.static class
Additional special predicates of the DLV syntax that have no direct representation in the Clingo or ASP-Core-2 format.