Class CActionDescriptionConsistencyTester

  • All Implemented Interfaces:
    ActionDescriptionConsistencyTester<CLaw>, ConsistencyTester<ActionDescription<CLaw>>

    public class CActionDescriptionConsistencyTester
    extends java.lang.Object
    implements ActionDescriptionConsistencyTester<CLaw>
    This class is able to check if a given action description in the action language C is consistent with regards to one simple consistency requirement: The transition system described by the action description has at least one state. This check is accomplished using the CTransitionSystemCalculator and thus an answer set solver.
    Author:
    Sebastian Homann, Matthias Thimm
    • Method Summary

      Modifier and Type Method Description
      boolean isConsistent​(ActionDescription<CLaw> causalRules)
      Checks whether the given set of causal rules is consistent.
      boolean isConsistent​(CActionDescription actionDescription)
      Checks whether the given action description in the action language C is consistent.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • CActionDescriptionConsistencyTester

        public CActionDescriptionConsistencyTester​(ASPSolver aspsolver)
        Creates a new consistency tester which will use the given answer set solver.
        Parameters:
        aspsolver - some ASP solver