AbstractPclReasoner (Tweety (Probabilistic Conditional Logic Library) 1.17 API)

java.lang.Object
- net.sf.tweety.logics.pcl.reasoner.AbstractPclReasoner

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>, net.sf.tweety.commons.QuantitativeReasoner<PclBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>, net.sf.tweety.commons.Reasoner<Double,PclBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>

Direct Known Subclasses:

DefaultMeReasoner, GeneralizedMeReasoner
```
public abstract class AbstractPclReasoner
extends Object
implements net.sf.tweety.commons.QuantitativeReasoner<PclBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>, net.sf.tweety.commons.ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>
```
Abstract class for all PCL reasoners.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor Description

AbstractPclReasoner()

Method Summary

Modifier and Type	Method	Description
`abstract ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>`	`getModel(PclBeliefSet beliefbase)`
`abstract Collection<ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>`	`getModels(PclBeliefSet bbase)`
`abstract Double`	`query(PclBeliefSet beliefbase, net.sf.tweety.logics.pl.syntax.PlFormula formula)`

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

- Constructor Detail
  - AbstractPclReasoner
```
public AbstractPclReasoner()
```
- Method Detail
  - query
```
public abstract Double query(PclBeliefSet beliefbase,
                             net.sf.tweety.logics.pl.syntax.PlFormula formula)
```
    Specified by:
    
    query in interface net.sf.tweety.commons.Reasoner<Double,PclBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>
  - getModels
```
public abstract Collection<ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>> getModels(PclBeliefSet bbase)
```
    Specified by:
    
    getModels in interface net.sf.tweety.commons.ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>
  - getModel
```
public abstract ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld> getModel(PclBeliefSet beliefbase)
```
    Specified by:
    
    getModel in interface net.sf.tweety.commons.ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>