net.sf.tweety.action.description.analysis

Interface ActionDescriptionConsistencyTester<T extends CausalLaw>

All Superinterfaces:

net.sf.tweety.logics.commons.analysis.ConsistencyTester<ActionDescription<T>>

All Known Implementing Classes:

CActionDescriptionConsistencyTester

public interface ActionDescriptionConsistencyTester<T extends CausalLaw>
extends net.sf.tweety.logics.commons.analysis.ConsistencyTester<ActionDescription<T>>

Classes implementing this interface are capable of checking whether a given action description is consistent according to some consistency measurements.

Author:

Sebastian Homann, Tim Janus

Method Summary

Modifier and Type	Method and Description
boolean	isConsistent(ActionDescription<T> causalRules) Checks whether the given set of causal rules is consistent.

Method Detail

isConsistent

boolean isConsistent(ActionDescription<T> causalRules)

Checks whether the given set of causal rules is consistent.

Specified by:

isConsistent in interface net.sf.tweety.logics.commons.analysis.ConsistencyTester<ActionDescription<T extends CausalLaw>>

Parameters:

causalRules - a set of causal rules.

Returns:

true iff the given set of causal rules is consistent.