uk.ac.manchester.cs.jfact.helpers

Class Helper

java.lang.Object

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

public class Helper
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	bpBOTTOM
static int	bpINVALID
static int	bpTOP
static int	InitBranchingLevelValue

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	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

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

Field Detail

InitBranchingLevelValue

public static int InitBranchingLevelValue

bpINVALID

public static int bpINVALID

bpTOP

public static int bpTOP

bpBOTTOM

public static int bpBOTTOM

Constructor Detail

Helper

public Helper()

Method Detail

resize

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

resize

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

createBiPointer

public static int createBiPointer(int index,
                  boolean pos)

isCorrect

public static boolean isCorrect(int p)

isValid

public static boolean isValid(int p)