forge.tests
Class TreeIntSetTest2

java.lang.Object
  extended by forge.tests.ForgeTest
      extended by forge.tests.TreeIntSetTest2

public final class TreeIntSetTest2
extends ForgeTest

Insertion into a binary tree integer set.

Author:
Greg Dennis (gdennis@mit.edu)

Field Summary
 
Fields inherited from class forge.tests.ForgeTest
CONSTRAIN_STRATEGY, HYBRID_STRATEGY, INLINE_STRATEGY, NO_GLOBALS, NO_SCOPES
 
Constructor Summary
TreeIntSetTest2()
           
 
Method Summary
static void main(java.lang.String[] args)
           
 InstanceDomain nodeDomain()
           
 
Methods inherited from class forge.tests.ForgeTest
checkAllTest, checkSpec, checkTest, code, currOptions, name, newOptions, runAllTest, runSpec, runTest, setBounds, standardTest, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TreeIntSetTest2

public TreeIntSetTest2()
Method Detail

main

public static void main(java.lang.String[] args)

nodeDomain

public InstanceDomain nodeDomain()