edu.mit.csail.sdg.squander.engine.SquanderReporter Class Reference
[Engine]

Inherits forge::solve::ForgeReporter.

Collaboration diagram for edu.mit.csail.sdg.squander.engine.SquanderReporter:
Collaboration graph
[legend]

List of all members.

Public Member Functions

void end ()
kodkod.engine.config.Reporter kkReporter ()
void loadingJavaScene ()
void convertingMethod ()
void creatingFreshObjects ()
void traversingHeap ()
void creatingBounds ()
void translatingSpecs ()
void creatingKodkodUniverse ()
void creatingKodkodBounds ()
void restoringJavaHeap ()
void restoringSpecFields ()
void startedAnalysis ()
void packagingAnalysis ()
void translatingForge ()
void buildingAnalysis ()
void finishedAnalysis ()
void detectedSymmetries (Set<?> parts)
void detectingSymmetries (Object bounds)
void flattening (Object circuit)
void generatingSBP ()
void optimizingBoundsAndFormula ()
void skolemizing (Object decl, Object skolem, List<?> context)
void solvingAnalysis ()
void solvingCNF (int primaryVars, int vars, int clauses)
void transformingProcedure ()
void translatingToBoolean (Object formula, Object bounds)
void translatingToCNF (Object circuit)
void translatingToKodkod ()
long getTaskTime (String task)
String toString ()

Static Public Attributes

static final String BUILDING_ANALYSIS = "buildingAnalysis"
static final String TRANSLATING_FORGE = "translatingForge"
static final String PACKAGIN_ANALYSIS = "packaginAnalysis"
static final String LOADING_JIMPLE = "loadingJimple"
static final String ANALYSIS = "analysis"
static final String TRANSLATING_SPECS = "translatingSpecs"
static final String CREATING_BOUNDS = "creatingBounds"
static final String CREATING_KK_BOUNDS = "creatingKKBounds"
static final String RESTORING_HEAP = "restoringHeap"
static final String RESTORING_SF = "restoringSpecFields"
static final String TRAVERSING_HEAP = "traversingHeap"
static final String CREATING_KK_UNIV = "creatingKKUniverse"
static final String CREATING_FRESH_OBJECTS = "creatingFreshObjects"
static final String CONVERTING_METHOD = "convertingMethod"
static final String LOADING_JAVA_SCENE = "loadingJavaScene"
static final String TRANSLATING_TO_KODKOD = "translatingToKodkod"
static final String TRANSLATING_TO_CNF = "translatingToCNF"
static final String TRANSLATING_TO_BOOLEAN = "translatingToBoolean"
static final String TRANSOFMING_PROCEDURE = "transofmingProcedure"
static final String SOLVING_CNF = "solvingCNF"
static final String SOLVING_ANALYSIS = "solvingAnalysis"
static final String SCOLEMIZING = "scolemizing"
static final String OPTIMIZING_BOUNDS_AND_FORMULA = "optimizingBoundsAndFormula"
static final String GENERATING_SBP = "generatingSBP"
static final String FLATTENING = "flattening"
static final String DETECTING_SYMMETRIES = "detectingSymmetries"
static final String DETECTED_SYMMETRIES = "detectedSymmetries"
static final SquanderReporter INSTANCE = new SquanderReporter()

Private Member Functions

void start (String task)
 SquanderReporter ()

Private Attributes

Map< String, Long > times = new LinkedHashMap<String, Long>()
long sTime
String task
boolean busy
kodkod.engine.config.Reporter kkRep

Detailed Description

Provides various callback methods for the Squander engine to invoke at certain points. It is primarily used for logging and timing purposes.

Author:
Aleksandar Milicevic

Definition at line 23 of file SquanderReporter.java.

Constructor & Destructor Documentation

edu.mit.csail.sdg.squander.engine.SquanderReporter.SquanderReporter (  )  [private]

Definition at line 189 of file SquanderReporter.java.

Member Function Documentation

void edu.mit.csail.sdg.squander.engine.SquanderReporter.buildingAnalysis (  ) 

Definition at line 99 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.BUILDING_ANALYSIS, edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.convertingMethod (  ) 

Definition at line 87 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.CONVERTING_METHOD, edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.creatingBounds (  ) 

Definition at line 90 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.CREATING_BOUNDS, edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

Referenced by edu.mit.csail.sdg.squander.engine.ForgeConverter.makeForgeBounds().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.creatingFreshObjects (  ) 

Definition at line 88 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.CREATING_FRESH_OBJECTS, edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

Referenced by edu.mit.csail.sdg.squander.engine.ForgeConverter.createFreshObjects().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.creatingKodkodBounds (  ) 

Definition at line 93 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.CREATING_KK_BOUNDS, edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

Referenced by edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl.createBounds(), edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPart2Impl.createBounds(), and edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.createBounds().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.creatingKodkodUniverse (  ) 

Definition at line 92 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.CREATING_KK_UNIV, edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

Referenced by edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl.createBounds(), edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPart2Impl.createBounds(), and edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.createBounds().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.detectedSymmetries ( Set<?>  parts  ) 

Definition at line 103 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.DETECTED_SYMMETRIES, edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.detectingSymmetries ( Object  bounds  ) 

Definition at line 109 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.DETECTING_SYMMETRIES, edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.end (  ) 

Definition at line 69 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.busy, edu.mit.csail.sdg.squander.engine.SquanderReporter.sTime, edu.mit.csail.sdg.squander.engine.SquanderReporter.task, and edu.mit.csail.sdg.squander.engine.SquanderReporter.times.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.buildingAnalysis(), edu.mit.csail.sdg.squander.engine.SquanderReporter.convertingMethod(), edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl.createBounds(), edu.mit.csail.sdg.squander.engine.SquanderReporter.creatingBounds(), edu.mit.csail.sdg.squander.engine.SquanderReporter.creatingFreshObjects(), edu.mit.csail.sdg.squander.engine.SquanderReporter.creatingKodkodBounds(), edu.mit.csail.sdg.squander.engine.SquanderReporter.creatingKodkodUniverse(), edu.mit.csail.sdg.squander.engine.SquanderReporter.detectedSymmetries(), edu.mit.csail.sdg.squander.engine.SquanderReporter.detectingSymmetries(), edu.mit.csail.sdg.squander.engine.ForgeConverter.finish(), edu.mit.csail.sdg.squander.engine.SquanderReporter.finishedAnalysis(), edu.mit.csail.sdg.squander.engine.SquanderReporter.flattening(), edu.mit.csail.sdg.squander.engine.SquanderReporter.generatingSBP(), edu.mit.csail.sdg.squander.engine.SquanderReporter.loadingJavaScene(), edu.mit.csail.sdg.squander.engine.SquanderReporter.optimizingBoundsAndFormula(), edu.mit.csail.sdg.squander.engine.SquanderReporter.packagingAnalysis(), edu.mit.csail.sdg.squander.engine.SquanderReporter.restoringJavaHeap(), edu.mit.csail.sdg.squander.engine.SquanderReporter.restoringSpecFields(), edu.mit.csail.sdg.squander.engine.SquanderReporter.skolemizing(), edu.mit.csail.sdg.squander.engine.SquanderReporter.solvingAnalysis(), edu.mit.csail.sdg.squander.engine.SquanderReporter.solvingCNF(), edu.mit.csail.sdg.squander.engine.SquanderReporter.startedAnalysis(), edu.mit.csail.sdg.squander.engine.SquanderReporter.transformingProcedure(), edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingForge(), edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingSpecs(), edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingToBoolean(), edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingToCNF(), edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingToKodkod(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.traversingHeap().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.finishedAnalysis (  ) 

Definition at line 100 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end().

Referenced by edu.mit.csail.sdg.squander.engine.SquanderImpl.magic().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.flattening ( Object  circuit  ) 

Definition at line 115 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.FLATTENING, and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.generatingSBP (  ) 

Definition at line 121 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.GENERATING_SBP, and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

long edu.mit.csail.sdg.squander.engine.SquanderReporter.getTaskTime ( String  task  ) 

Definition at line 174 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.times.

kodkod.engine.config.Reporter edu.mit.csail.sdg.squander.engine.SquanderReporter.kkReporter (  ) 

Definition at line 78 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.kkRep.

void edu.mit.csail.sdg.squander.engine.SquanderReporter.loadingJavaScene (  ) 

Definition at line 86 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.LOADING_JAVA_SCENE, and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

Referenced by edu.mit.csail.sdg.squander.engine.ForgeConverter.initJavaScene().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.optimizingBoundsAndFormula (  ) 

Definition at line 127 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.OPTIMIZING_BOUNDS_AND_FORMULA, and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.packagingAnalysis (  ) 

Definition at line 97 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.PACKAGIN_ANALYSIS, and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.restoringJavaHeap (  ) 

Definition at line 94 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.RESTORING_HEAP, and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

Referenced by edu.mit.csail.sdg.squander.engine.SquanderImpl.magic().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.restoringSpecFields (  ) 

Definition at line 95 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.RESTORING_SF, and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

Referenced by edu.mit.csail.sdg.squander.engine.SquanderImpl.exeMethod().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.skolemizing ( Object  decl,
Object  skolem,
List<?>  context 
)

Definition at line 133 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.SCOLEMIZING, and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.solvingAnalysis (  ) 

Definition at line 139 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.SOLVING_ANALYSIS, and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.solvingCNF ( int  primaryVars,
int  vars,
int  clauses 
)

Definition at line 145 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.SOLVING_CNF, and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.start ( String  task  )  [private]

Definition at line 62 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.busy, and edu.mit.csail.sdg.squander.engine.SquanderReporter.sTime.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.buildingAnalysis(), edu.mit.csail.sdg.squander.engine.SquanderReporter.convertingMethod(), edu.mit.csail.sdg.squander.engine.SquanderReporter.creatingBounds(), edu.mit.csail.sdg.squander.engine.SquanderReporter.creatingFreshObjects(), edu.mit.csail.sdg.squander.engine.SquanderReporter.creatingKodkodBounds(), edu.mit.csail.sdg.squander.engine.SquanderReporter.creatingKodkodUniverse(), edu.mit.csail.sdg.squander.engine.SquanderReporter.detectedSymmetries(), edu.mit.csail.sdg.squander.engine.SquanderReporter.detectingSymmetries(), edu.mit.csail.sdg.squander.engine.SquanderReporter.flattening(), edu.mit.csail.sdg.squander.engine.SquanderReporter.generatingSBP(), edu.mit.csail.sdg.squander.engine.SquanderReporter.loadingJavaScene(), edu.mit.csail.sdg.squander.engine.SquanderReporter.optimizingBoundsAndFormula(), edu.mit.csail.sdg.squander.engine.SquanderReporter.packagingAnalysis(), edu.mit.csail.sdg.squander.engine.SquanderReporter.restoringJavaHeap(), edu.mit.csail.sdg.squander.engine.SquanderReporter.restoringSpecFields(), edu.mit.csail.sdg.squander.engine.SquanderReporter.skolemizing(), edu.mit.csail.sdg.squander.engine.SquanderReporter.solvingAnalysis(), edu.mit.csail.sdg.squander.engine.SquanderReporter.solvingCNF(), edu.mit.csail.sdg.squander.engine.SquanderReporter.startedAnalysis(), edu.mit.csail.sdg.squander.engine.SquanderReporter.transformingProcedure(), edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingForge(), edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingSpecs(), edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingToBoolean(), edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingToCNF(), edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingToKodkod(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.traversingHeap().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.startedAnalysis (  ) 

Definition at line 96 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.ANALYSIS, edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

String edu.mit.csail.sdg.squander.engine.SquanderReporter.toString (  ) 

Definition at line 179 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.task, and edu.mit.csail.sdg.squander.engine.SquanderReporter.times.

void edu.mit.csail.sdg.squander.engine.SquanderReporter.transformingProcedure (  ) 

Definition at line 151 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.start(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.TRANSOFMING_PROCEDURE.

void edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingForge (  ) 

Definition at line 98 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.start(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.TRANSLATING_FORGE.

void edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingSpecs (  ) 

Definition at line 91 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.start(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.TRANSLATING_SPECS.

Referenced by edu.mit.csail.sdg.squander.engine.ForgeConverter.finish().

void edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingToBoolean ( Object  formula,
Object  bounds 
)

Definition at line 157 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.start(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.TRANSLATING_TO_BOOLEAN.

void edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingToCNF ( Object  circuit  ) 

Definition at line 163 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.start(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.TRANSLATING_TO_CNF.

void edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingToKodkod (  ) 

Definition at line 169 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.start(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.TRANSLATING_TO_KODKOD.

void edu.mit.csail.sdg.squander.engine.SquanderReporter.traversingHeap (  ) 

Definition at line 89 of file SquanderReporter.java.

References edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.start(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.TRAVERSING_HEAP.

Referenced by edu.mit.csail.sdg.squander.engine.ForgeConverter.finish().

Member Data Documentation

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.ANALYSIS = "analysis" [static]

Definition at line 29 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.startedAnalysis().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.BUILDING_ANALYSIS = "buildingAnalysis" [static]

Definition at line 25 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.buildingAnalysis().

boolean edu.mit.csail.sdg.squander.engine.SquanderReporter.busy [private]

Definition at line 60 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.CONVERTING_METHOD = "convertingMethod" [static]

Definition at line 38 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.convertingMethod().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.CREATING_BOUNDS = "creatingBounds" [static]

Definition at line 31 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.creatingBounds().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.CREATING_FRESH_OBJECTS = "creatingFreshObjects" [static]

Definition at line 37 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.creatingFreshObjects().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.CREATING_KK_BOUNDS = "creatingKKBounds" [static]

Definition at line 32 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.creatingKodkodBounds().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.CREATING_KK_UNIV = "creatingKKUniverse" [static]

Definition at line 36 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.creatingKodkodUniverse().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.DETECTED_SYMMETRIES = "detectedSymmetries" [static]

Definition at line 52 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.detectedSymmetries().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.DETECTING_SYMMETRIES = "detectingSymmetries" [static]

Definition at line 51 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.detectingSymmetries().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.FLATTENING = "flattening" [static]

Definition at line 50 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.flattening().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.GENERATING_SBP = "generatingSBP" [static]

Definition at line 49 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.generatingSBP().

final SquanderReporter edu.mit.csail.sdg.squander.engine.SquanderReporter.INSTANCE = new SquanderReporter() [static]

Definition at line 54 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderImpl.magic().

kodkod.engine.config.Reporter edu.mit.csail.sdg.squander.engine.SquanderReporter.kkRep [private]

Definition at line 77 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.kkReporter().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.LOADING_JAVA_SCENE = "loadingJavaScene" [static]

Definition at line 39 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.loadingJavaScene().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.LOADING_JIMPLE = "loadingJimple" [static]

Definition at line 28 of file SquanderReporter.java.

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.OPTIMIZING_BOUNDS_AND_FORMULA = "optimizingBoundsAndFormula" [static]

Definition at line 48 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.optimizingBoundsAndFormula().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.PACKAGIN_ANALYSIS = "packaginAnalysis" [static]

Definition at line 27 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.packagingAnalysis().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.RESTORING_HEAP = "restoringHeap" [static]

Definition at line 33 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.restoringJavaHeap().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.RESTORING_SF = "restoringSpecFields" [static]

Definition at line 34 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.restoringSpecFields().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.SCOLEMIZING = "scolemizing" [static]

Definition at line 47 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.skolemizing().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.SOLVING_ANALYSIS = "solvingAnalysis" [static]

Definition at line 46 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.solvingAnalysis().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.SOLVING_CNF = "solvingCNF" [static]

Definition at line 45 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.solvingCNF().

long edu.mit.csail.sdg.squander.engine.SquanderReporter.sTime [private]

Definition at line 58 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.start().

String edu.mit.csail.sdg.squander.engine.SquanderReporter.task [private]

Definition at line 59 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.toString().

Map<String, Long> edu.mit.csail.sdg.squander.engine.SquanderReporter.times = new LinkedHashMap<String, Long>() [private]

Definition at line 56 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.end(), edu.mit.csail.sdg.squander.engine.SquanderReporter.getTaskTime(), and edu.mit.csail.sdg.squander.engine.SquanderReporter.toString().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.TRANSLATING_FORGE = "translatingForge" [static]

Definition at line 26 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingForge().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.TRANSLATING_SPECS = "translatingSpecs" [static]

Definition at line 30 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingSpecs().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.TRANSLATING_TO_BOOLEAN = "translatingToBoolean" [static]

Definition at line 43 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingToBoolean().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.TRANSLATING_TO_CNF = "translatingToCNF" [static]

Definition at line 42 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingToCNF().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.TRANSLATING_TO_KODKOD = "translatingToKodkod" [static]

Definition at line 41 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.translatingToKodkod().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.TRANSOFMING_PROCEDURE = "transofmingProcedure" [static]

Definition at line 44 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.transformingProcedure().

final String edu.mit.csail.sdg.squander.engine.SquanderReporter.TRAVERSING_HEAP = "traversingHeap" [static]

Definition at line 35 of file SquanderReporter.java.

Referenced by edu.mit.csail.sdg.squander.engine.SquanderReporter.traversingHeap().

The documentation for this class was generated from the following file:
Generated by  doxygen 1.6.2-20100208