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.
-