jdd.util

Class Options

java.lang.Object

jdd.util.Options

public class Options
extends Object

simple options, not configuration realted

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	profile_cache If a profiling BDD manager is used, the real-time cache statiscts is also shown.
static boolean	verbose When verbose is active, the garbage collection messages are printed.

Constructor Summary

Constructors

Constructor and Description
Options()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

verbose

public static boolean verbose

When verbose is active, the garbage collection messages are printed.

profile_cache

public static boolean profile_cache

If a profiling BDD manager is used, the real-time cache statiscts is also shown.

Constructor Detail

Options

public Options()