public class Test extends Object
| Constructor and Description |
|---|
Test() |
| Modifier and Type | Method and Description |
|---|---|
static void |
check(boolean c) |
static void |
check(boolean c,
String s) |
static void |
checkEquality(boolean a,
boolean b,
String s) |
static void |
checkEquality(double a,
double b,
String s) |
static void |
checkEquality(int a,
int b,
String s) |
static void |
checkGreaterThan(int a,
int b,
String s) |
static void |
checkInequality(int a,
int b,
String s) |
static void |
checkLessThan(int a,
int b,
String s) |
static void |
end() |
static void |
start(String module) |
public static void start(String module)
public static void end()
public static void check(boolean c)
public static void check(boolean c,
String s)
public static void checkEquality(boolean a,
boolean b,
String s)
public static void checkEquality(int a,
int b,
String s)
public static void checkEquality(double a,
double b,
String s)
public static void checkInequality(int a,
int b,
String s)
public static void checkLessThan(int a,
int b,
String s)
public static void checkGreaterThan(int a,
int b,
String s)
This file is a part of the JDD package, a native Java Binary Decision Diagram Library.