Uses of Package
net.sf.tweety.action.signature
-
-
Classes in net.sf.tweety.action.signature used by net.sf.tweety.action.description.parser Class Description ActionSignature This class represents an action signature consisting of a set of fluent names and a set of action names. -
Classes in net.sf.tweety.action.signature used by net.sf.tweety.action.description.reasoner Class Description ActionSignature This class represents an action signature consisting of a set of fluent names and a set of action names. -
Classes in net.sf.tweety.action.signature used by net.sf.tweety.action.query.parser Class Description ActionSignature This class represents an action signature consisting of a set of fluent names and a set of action names. -
Classes in net.sf.tweety.action.signature used by net.sf.tweety.action.query.syntax Class Description ActionSignature This class represents an action signature consisting of a set of fluent names and a set of action names.FolAction An action is a truth-valued function on the set of action names, which is denoted by the set of actions which are mapped to 'true'. -
Classes in net.sf.tweety.action.signature used by net.sf.tweety.action.signature Class Description ActionName A basic interface representing an action name.FluentName A basic interface representing a fluent name.FolAction An action is a truth-valued function on the set of action names, which is denoted by the set of actions which are mapped to 'true'.FolActionName This class represents an action name.FolFluentName This class represents a fluent name. -
Classes in net.sf.tweety.action.signature used by net.sf.tweety.action.signature.parser Class Description ActionSignature This class represents an action signature consisting of a set of fluent names and a set of action names. -
Classes in net.sf.tweety.action.signature used by net.sf.tweety.action.transitionsystem Class Description ActionSignature This class represents an action signature consisting of a set of fluent names and a set of action names.FolAction An action is a truth-valued function on the set of action names, which is denoted by the set of actions which are mapped to 'true'.