Package owl.ltl.visitors
Class Collector
- java.lang.Object
-
- owl.ltl.visitors.Collector
-
public final class Collector extends Object
-
-
Method Summary
-
-
-
Method Detail
-
collect
public static <T> Set<T> collect(Function<Formula,T> function, Iterable<? extends Formula> formulas)
-
collect
public static Set<Formula> collect(Predicate<Formula> predicate, Iterable<? extends Formula> formulas)
-
collectAtoms
public static BitSet collectAtoms(Iterable<? extends Formula> formulas, boolean negated)
-
collectTransformedFOperators
public static Set<FOperator> collectTransformedFOperators(Formula formula)
-
collectTransformedFOperators
public static Set<FOperator> collectTransformedFOperators(Iterable<? extends Formula> formulas)
-
collectTransformedGOperators
public static Set<GOperator> collectTransformedGOperators(Formula formula)
-
-