Class CActionDescription

All Implemented Interfaces:
Iterable<CLaw>, 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 Details

    • CActionDescription

      public CActionDescription()
      Creates a new empty action description.
    • CActionDescription

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

    • 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 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:
      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 Set<StaticLaw> getStaticLaws()
      Returns:
      a set of all static laws contained in this action description.
    • getDynamicLaws

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

      public 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.