edu.ucla.util
Class CPTShells

Object
  extended by CPTShells

public class CPTShells
extends Object

Since:
20050118
Author:
keith cascio

Field Summary
 String name
           
 
Constructor Summary
CPTShells(String name)
           
 
Method Summary
 void clear()
           
 void doTask(FiniteVariable shellsvar, DSLNodeType type, CPTShell shell)
          override this method
 void forAllDSLNodeTypes(FiniteVariable var)
           
 void forAllFiniteVariables(Collection collection)
           
 void forAllFiniteVariables(Iterator it)
           
 void report(PrintStream stream)
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

name

public final String name
Since:
20080220
Constructor Detail

CPTShells

public CPTShells(String name)
Since:
20080220
Method Detail

doTask

public void doTask(FiniteVariable shellsvar,
                   DSLNodeType type,
                   CPTShell shell)
override this method


forAllDSLNodeTypes

public void forAllDSLNodeTypes(FiniteVariable var)

forAllFiniteVariables

public void forAllFiniteVariables(Iterator it)

forAllFiniteVariables

public void forAllFiniteVariables(Collection collection)

clear

public void clear()
Since:
20080220

report

public void report(PrintStream stream)
Since:
20080220


Copyright 2010 UCLA Automated Reasoning Group