Package owl.ltl

Class Formulas

java.lang.Object

owl.ltl.Formulas

public final class Formulas
extends Object

Method Summary

Modifier and Type	Method	Description
static int	compare(Set<? extends Formula> set1, Set<? extends Formula> set2)
static int	height(Collection<? extends Formula> collection)
static int	height(Formula... formulas)

Methods inherited from class java.lang.Object

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

Method Detail

compare

public static int compare(Set<? extends Formula> set1,
                          Set<? extends Formula> set2)

height

public static int height(Formula... formulas)

height

public static int height(Collection<? extends Formula> collection)