Class SimplePlInterpolantEnumerator

java.lang.Object
org.tweetyproject.logics.pl.analysis.SimplePlInterpolantEnumerator
All Implemented Interfaces:
InterpolantEnumerator<PlFormula>

public class SimplePlInterpolantEnumerator extends Object implements InterpolantEnumerator<PlFormula>
Implements an exhaustive search approach to compute all interpolants of a knowledge base wrt. another knowledge base.
Author:
Matthias Thimm