Package org.tweetyproject.action.description.syntax

Class CActionDescription

  • All Implemented Interfaces:
    java.lang.Iterable<CLaw>, java.util.Collection<CLaw>, BeliefBase
    public class CActionDescription
extends ActionDescription<CLaw>
    This class represents an action description for the action language C as a set of causal rules, and provides some basic functionality such as grounding.
    Author:
    Sebastian Homann

    • Constructor Detail

      • CActionDescription

        public CActionDescription()
        Creates a new empty action description.

      • CActionDescription

        public CActionDescription​(java.util.Collection<? extends CausalLaw> c)
        Creates a new belief set with the given collection of formulae.
        Parameters:
        c - a collection of formulae.

    • Method Detail

      • ground

        public CActionDescription ground()
        Calculates a new action description containing all ground instances of each law in this action description.
        Returns:
        a new action description containing only ground laws.

      • toDefinite

        public CActionDescription toDefinite()
                              throws java.lang.IllegalStateException
        Calculates a new action description which describes the same transition system and contains only definite causal laws.
        Returns:
        a new definite action description.
        Throws:
        java.lang.IllegalStateException - when there is no equivalent definite action description

      • isGround

        public boolean isGround()
        Checks whether this action description contains any non-ground laws.
        Returns:
        true iff each law in this action description is grounded.

      • isDefinite

        public boolean isDefinite()
        Checks whether this action description contains any non-definite laws.
        Returns:
        true iff each law in this action description is definite.

      • getStaticLaws

        public java.util.Set<StaticLaw> getStaticLaws()
        Returns:
        a set of all static laws contained in this action description.

      • getDynamicLaws

        public java.util.Set<DynamicLaw> getDynamicLaws()
        Returns:
        a set of all dynamic laws contained in this action description.

      • toOutputString

        public java.lang.String toOutputString()
        Returns a string representation of this action description in human readable form, which may be written to a file or printed on screen.
        Returns:
        a string representation of this action description.

      • getMinimalSignature

        public Signature getMinimalSignature()
        Description copied from interface: BeliefBase
        Returns the signature of the language of this knowledge base.
        Returns:
        the signature of the language of this knowledge base.