forge.tests
Class TreeIntSetTest

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

public final class TreeIntSetTest
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
TreeIntSetTest()
           
 
Method Summary
static void main(java.lang.String[] args)
           
 InstanceDomain nodeDomain()
           
 InstanceDomain treeDomain()
           
 
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

TreeIntSetTest

public TreeIntSetTest()
Method Detail

main

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

treeDomain

public InstanceDomain treeDomain()

nodeDomain

public InstanceDomain nodeDomain()