Package org.tweetyproject.action.transitionsystem


package org.tweetyproject.action.transitionsystem
  • Classes
    Class
    Description
    Represents a state in an action transition system, which is a representation of an interpretation of all fluent names in an action description.
    Represents a transition in an action transition system, which is a representation of the execution of an action which causes a state change from a source state to a target state.
    This class represents an action transition system for a fixed action signature with a set of states and a set of transitions between states.