edu.ucla.util
Class CPTShells
Object
CPTShells
public class CPTShells
- extends Object
- Since:
- 20050118
- Author:
- keith cascio
name
public final String name
- Since:
- 20080220
CPTShells
public CPTShells(String name)
- Since:
- 20080220
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