Package org.jreliability.tester

Class ConstraintTester

java.lang.Object

org.jreliability.tester.ConstraintTester

public class ConstraintTester
extends Object

The ConstraintTester can be used to test the BDDTTRF.convertToBDD(Term) function.

Constructor Summary

Constructors

Constructor	Description
ConstraintTester()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Main.

Methods inherited from class java.lang.Object

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

Constructor Details

ConstraintTester

public ConstraintTester()

Method Details

main

public static void main(String[] args)

Main.

Parameters:

args - command line arguments