AbstractPlReasoner (Tweety (Propositional Logic) 1.16 API)

java.lang.Object
- net.sf.tweety.logics.pl.reasoner.AbstractPlReasoner

All Implemented Interfaces:

net.sf.tweety.commons.KernelProvider<PlFormula>, net.sf.tweety.commons.QualitativeReasoner<PlBeliefSet,PlFormula>, net.sf.tweety.commons.Reasoner<Boolean,PlBeliefSet,PlFormula>

Direct Known Subclasses:

SatReasoner, SimplePlReasoner
```
public abstract class AbstractPlReasoner
extends Object
implements net.sf.tweety.commons.QualitativeReasoner<PlBeliefSet,PlFormula>, net.sf.tweety.commons.KernelProvider<PlFormula>
```
Abstract class for propositional logic reasoners.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor Description

AbstractPlReasoner()

Method Summary

Modifier and Type	Method	Description
`Collection<Collection<PlFormula>>`	`getKernels(Collection<PlFormula> formulas, PlFormula formula)`
`boolean`	`isEquivalent(PlFormula p1, PlFormula p2)`	Checks whether the two formulas are equivalent
`abstract Boolean`	`query(PlBeliefSet beliefbase, PlFormula formula)`
`boolean`	`query(PlFormula formula, PlFormula formula2)`	Checks whether the first formula entails the second.

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

- Constructor Detail
  - AbstractPlReasoner
```
public AbstractPlReasoner()
```
- Method Detail
  - query
```
public abstract Boolean query(PlBeliefSet beliefbase,
                              PlFormula formula)
```
    Specified by:
    
    query in interface net.sf.tweety.commons.QualitativeReasoner<PlBeliefSet,PlFormula>
    
    Specified by:
    
    query in interface net.sf.tweety.commons.Reasoner<Boolean,PlBeliefSet,PlFormula>
  - query
```
public boolean query(PlFormula formula,
                     PlFormula formula2)
```
    Checks whether the first formula entails the second.
    
    Parameters:
    
    formula - some formula
    
    formula2 - a formula
    
    Returns:
    
    true if the second formula is entailed be the first formula.
  - isEquivalent
```
public boolean isEquivalent(PlFormula p1,
                            PlFormula p2)
```
    Checks whether the two formulas are equivalent
    
    Parameters:
    
    p1 - a formula
    
    p2 - a formula
    
    Returns:
    
    true iff the two formulas are equivalent
  - getKernels
```
public Collection<Collection<PlFormula>> getKernels(Collection<PlFormula> formulas,
                                                    PlFormula formula)
```
    Specified by:
    
    getKernels in interface net.sf.tweety.commons.KernelProvider<PlFormula>