Uses of Interface
org.tweetyproject.logics.commons.analysis.InterpolantEnumerator

Packages that use InterpolantEnumerator

Package	Description
org.tweetyproject.logics.pl.analysis

Uses of InterpolantEnumerator in org.tweetyproject.logics.pl.analysis

Classes in org.tweetyproject.logics.pl.analysis that implement InterpolantEnumerator

Modifier and Type	Class	Description
class	SimplePlInterpolantEnumerator	Implements an exhaustive search approach to compute all interpolants of a knowledge base wrt.