Package org.tweetyproject.action.description.analysis

Class CActionDescriptionConsistencyTester

java.lang.Object

org.tweetyproject.action.description.analysis.CActionDescriptionConsistencyTester

All Implemented Interfaces:

ActionDescriptionConsistencyTester<CLaw>, ConsistencyTester<ActionDescription<CLaw>>

public class CActionDescriptionConsistencyTester
extends 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

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.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CActionDescriptionConsistencyTester

public CActionDescriptionConsistencyTester(ASPSolver aspsolver)

Creates a new consistency tester which will use the given answer set solver.

Parameters:

aspsolver - some ASP solver

Method Details

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 interface ActionDescriptionConsistencyTester<CLaw>

Specified by:

isConsistent in interface ConsistencyTester<ActionDescription<CLaw>>

Parameters:

causalRules - a set of causal rules.

Returns:

true iff the given set of causal rules is consistent.