net.sf.tweety.logics.pcl.analysis

Class PclDefaultConsistencyTester

java.lang.Object

net.sf.tweety.logics.commons.analysis.AbstractBeliefSetConsistencyTester<ProbabilisticConditional>

net.sf.tweety.logics.pcl.analysis.PclDefaultConsistencyTester

All Implemented Interfaces:

BeliefSetConsistencyTester<ProbabilisticConditional>, ConsistencyTester<BeliefSet<ProbabilisticConditional>>

public class PclDefaultConsistencyTester
extends AbstractBeliefSetConsistencyTester<ProbabilisticConditional>

This class is capable of checking whether a given conditional knowledge base is consistent by searching for the root of some equivalent multi-dimensional function.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
PclDefaultConsistencyTester()

Method Summary

Modifier and Type	Method and Description
boolean	isConsistent(java.util.Collection<ProbabilisticConditional> formulas) Checks whether the given collection of formulas is consistent.
boolean	isConsistent(ProbabilisticConditional formula) Checks whether the given formula is consistent.

Methods inherited from class net.sf.tweety.logics.commons.analysis.AbstractBeliefSetConsistencyTester

isConsistent

Methods inherited from class java.lang.Object

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

Constructor Detail

PclDefaultConsistencyTester

public PclDefaultConsistencyTester()

Method Detail

isConsistent

public boolean isConsistent(java.util.Collection<ProbabilisticConditional> formulas)

Description copied from interface: BeliefSetConsistencyTester

Checks whether the given collection of formulas is consistent.

Specified by:

isConsistent in interface BeliefSetConsistencyTester<ProbabilisticConditional>

Specified by:

isConsistent in class AbstractBeliefSetConsistencyTester<ProbabilisticConditional>

Parameters:

formulas - a collection of formulas.

Returns:

"true" iff the given collection of formulas is consistent.

isConsistent

public boolean isConsistent(ProbabilisticConditional formula)

Description copied from interface: BeliefSetConsistencyTester

Checks whether the given formula is consistent.

Specified by:

isConsistent in interface BeliefSetConsistencyTester<ProbabilisticConditional>

Overrides:

isConsistent in class AbstractBeliefSetConsistencyTester<ProbabilisticConditional>

Parameters:

formula - a formulas.

Returns:

"true" iff the formula is consistent.