Package net.sf.tweety.action.description.analysis

Interface ActionDescriptionConsistencyTester<T extends CausalLaw>

  • Type Parameters:
    T - the type of causal law
    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 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<T extends CausalLaw>
        Parameters:
        causalRules - a set of causal rules.
        Returns:
        true iff the given set of causal rules is consistent.