Package org.tweetyproject.web.spring_services.aba

Class AbaReasonerGetModelCallee<T extends Formula>

java.lang.Object

org.tweetyproject.web.spring_services.Callee

org.tweetyproject.web.spring_services.aba.AbaReasonerGetModelCallee<T>

Type Parameters:

T - *description missing*

All Implemented Interfaces:

Callable

public class AbaReasonerGetModelCallee<T extends Formula>
extends Callee

*description missing*

Constructor Summary

Constructors

Constructor	Description
AbaReasonerGetModelCallee(GeneralAbaReasoner<T> reasoner, AbaTheory<T> bbase)	*description missing*

Method Summary

Modifier and Type	Method	Description
AbaExtension<T>	call()

Methods inherited from class java.lang.Object

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

Constructor Details

AbaReasonerGetModelCallee

public AbaReasonerGetModelCallee(GeneralAbaReasoner<T> reasoner,
 AbaTheory<T> bbase)

*description missing*

Parameters:

reasoner - *description missing*

bbase - *description missing*

Method Details

call

public AbaExtension<T> call()
                     throws Exception

Specified by:

call in interface Callable<T extends Formula>

Overrides:

call in class Callee

Throws:

Exception