Package owl.translations.mastertheorem

Class Selector

java.lang.Object

owl.translations.mastertheorem.Selector

public final class Selector
extends Object

Method Summary

Modifier and Type	Method	Description
static Set<Fixpoints>	selectAsymmetric(Formula formula, boolean all)
static Set<Fixpoints>	selectSymmetric(Formula formula, boolean all)

Methods inherited from class java.lang.Object

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

Method Detail

selectAsymmetric

public static Set<Fixpoints> selectAsymmetric(Formula formula,
                                              boolean all)

selectSymmetric

public static Set<Fixpoints> selectSymmetric(Formula formula,
                                             boolean all)