Uses of Class
org.tweetyproject.commons.QuadrupleSetSignature
Package
Description
-
Uses of QuadrupleSetSignature in org.tweetyproject.action.signature
Modifier and TypeClassDescriptionclass
This class represents an action signature, which consists of a set of fluent names (representing environment states) and a set of action names (representing actions). -
Uses of QuadrupleSetSignature in org.tweetyproject.commons
-
Uses of QuadrupleSetSignature in org.tweetyproject.logics.fol.syntax
Modifier and TypeClassDescriptionclass
This class captures the signature of a specific first-order language.