Class CActionDescriptionConsistencyTester
- java.lang.Object
-
- net.sf.tweety.action.description.analysis.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, whether 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
-
-
Constructor Summary
Constructors Constructor Description CActionDescriptionConsistencyTester(ASPSolver aspsolver)
Creates a new consistency tester which will use the given answer set solver.
-
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.
-
-
-
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
-
-
Method Detail
-
isConsistent
public boolean isConsistent(CActionDescription actionDescription)
Checks, whether the given action description in the action language C is consistent.- Parameters:
actionDescription
- an action description.- Returns:
- true iff the action description is consistent.
-
isConsistent
public boolean isConsistent(ActionDescription<CLaw> causalRules)
Description copied from interface:ActionDescriptionConsistencyTester
Checks whether the given set of causal rules is consistent.- Specified by:
isConsistent
in interfaceActionDescriptionConsistencyTester<CLaw>
- Specified by:
isConsistent
in interfaceConsistencyTester<ActionDescription<CLaw>>
- Parameters:
causalRules
- a set of causal rules.- Returns:
- true iff the given set of causal rules is consistent.
-
-