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	bpBOTTOM bottom bipolar pointer
static int	bpINVALID invalid bipolar pointer
static int	bpTOP top bipolar pointer
static int	InitBranchingLevelValue brancing level value

Constructor Summary

Constructors

Constructor and Description
Helper()

Method Summary

Methods

Modifier and Type	Method and Description
static int	createBiPointer(int index, boolean pos)
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 void	resize(List<?> l, int n)
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

bpINVALID

public static final int bpINVALID

invalid bipolar pointer

See Also:

Constant Field Values

bpTOP

public static final int bpTOP

top bipolar pointer

See Also:

Constant Field Values

bpBOTTOM

public static final int bpBOTTOM

bottom bipolar pointer

See Also:

Constant Field Values

Constructor Detail

Helper

public Helper()

Method Detail

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

resize

public static void resize(List<?> l,
          int n)

Parameters:

l - l

n - n

resize

public static <T> void resize(List<T> l,
              int n,
              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