uk.ac.manchester.cs.jfact.helpers

Class Helper

java.lang.Object

uk.ac.manchester.cs.jfact.helpers.Helper

All Implemented Interfaces:

Serializable

public class Helper
extends Object
implements Serializable

static methods

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static int	BP_BOTTOM bottom bipolar pointer
static int	BP_INVALID invalid bipolar pointer
static int	BP_TOP top bipolar pointer
static int	INITBRANCHINGLEVELVALUE brancing level value

Method Summary

Modifier and Type	Method and Description
static <T> boolean	allMatchOnAllPairs(List<T> l, Predicate<org.semanticweb.owlapi.util.OWLAPIStreamUtils.Pair<T>> f)
static <T> boolean	allMatchOnPairs(List<T> l, Predicate<org.semanticweb.owlapi.util.OWLAPIStreamUtils.Pair<T>> f)
static <T> void	allPairs(List<T> l, BiConsumer<T,T> f)
static <T> boolean	anyMatchOnAllPairs(List<T> l, Predicate<org.semanticweb.owlapi.util.OWLAPIStreamUtils.Pair<T>> f)
static <T> boolean	anyMatchOnPairs(List<T> l, Predicate<org.semanticweb.owlapi.util.OWLAPIStreamUtils.Pair<T>> f)
static int	createBiPointer(int index, boolean pos)
static <T> Optional<T>	elementFromIntersection(Collection<T> s1, Collection<T> s2) Find an element in the intersection of two collections
static boolean	intersectsWith(Collection<?> s1, Collection<?> s2) check whether set S1 intersects with the set S2
static boolean	isCorrect(int p)
static boolean	isValid(int p)
static <T> void	pairs(List<T> l, BiConsumer<T,T> f)
static <T> void	resize(List<T> l, int n, T filler)

Methods inherited from class java.lang.Object

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

Field Detail

INITBRANCHINGLEVELVALUE

public static final int INITBRANCHINGLEVELVALUE

brancing level value

See Also:

Constant Field Values

BP_INVALID

public static final int BP_INVALID

invalid bipolar pointer

See Also:

Constant Field Values

BP_TOP

public static final int BP_TOP

top bipolar pointer

See Also:

Constant Field Values

BP_BOTTOM

public static final int BP_BOTTOM

bottom bipolar pointer

See Also:

Constant Field Values

Method Detail

pairs

public static <T> void pairs(List<T> l,
                             BiConsumer<T,T> f)

Type Parameters:

T - type

Parameters:

l - list to walk

f - consumer

allPairs

public static <T> void allPairs(List<T> l,
                                BiConsumer<T,T> f)

Type Parameters:

T - type

Parameters:

l - list to walk

f - consumer

anyMatchOnAllPairs

public static <T> boolean anyMatchOnAllPairs(List<T> l,
                                             Predicate<org.semanticweb.owlapi.util.OWLAPIStreamUtils.Pair<T>> f)

Type Parameters:

T - type

Parameters:

l - list to walk

f - consumer

Returns:

true if any match

allMatchOnAllPairs

public static <T> boolean allMatchOnAllPairs(List<T> l,
                                             Predicate<org.semanticweb.owlapi.util.OWLAPIStreamUtils.Pair<T>> f)

Type Parameters:

T - type

Parameters:

l - list to walk

f - consumer

Returns:

true if all match

anyMatchOnPairs

public static <T> boolean anyMatchOnPairs(List<T> l,
                                          Predicate<org.semanticweb.owlapi.util.OWLAPIStreamUtils.Pair<T>> f)

Type Parameters:

T - type

Parameters:

l - list to walk

f - consumer

Returns:

true if all match

allMatchOnPairs

public static <T> boolean allMatchOnPairs(List<T> l,
                                          Predicate<org.semanticweb.owlapi.util.OWLAPIStreamUtils.Pair<T>> f)

Type Parameters:

T - type

Parameters:

l - list to walk

f - consumer

Returns:

true if aall match

intersectsWith

public static boolean intersectsWith(Collection<?> s1,
                                     Collection<?> s2)

check whether set S1 intersects with the set S2

Parameters:

s1 - S1

s2 - S2

Returns:

true if S1 and S2 intersect

elementFromIntersection

public static <T> Optional<T> elementFromIntersection(Collection<T> s1,
                                                      Collection<T> s2)

Find an element in the intersection of two collections

Type Parameters:

T - type

Parameters:

s1 - S1

s2 - S2

Returns:

one element from the intersection if S1 and S2 intersect

resize

public static <T> void resize(List<T> l,
                              int n,
                              @Nullable
                              T filler)

Type Parameters:

T - argument type

Parameters:

l - l

n - n

filler - filler

createBiPointer

public static int createBiPointer(int index,
                                  boolean pos)

Parameters:

index - index

pos - pos

Returns:

bipolar pointer

isCorrect

public static boolean isCorrect(int p)

Parameters:

p - p

Returns:

true if correct

isValid

public static boolean isValid(int p)

Parameters:

p - p

Returns:

true if valid