PclDefaultConsistencyTester

java.lang.Object
- org.tweetyproject.logics.commons.analysis.AbstractBeliefSetConsistencyTester<ProbabilisticConditional>
- - org.tweetyproject.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 Description

PclDefaultConsistencyTester(OptimizationRootFinder rootFinder)

Method Summary

Modifier and Type	Method	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 org.tweetyproject.logics.commons.analysis.AbstractBeliefSetConsistencyTester
isConsistent

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - PclDefaultConsistencyTester
```
public PclDefaultConsistencyTester(OptimizationRootFinder rootFinder)
```
- 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.