Module dev.civl.gmc

Package dev.civl.gmc.smc

Class SMCSimulator

java.lang.Object

dev.civl.gmc.smc.SMCSimulator

public class SMCSimulator
extends Object

Constructor Summary

Constructors

Constructor	Description
SMCSimulator(GMCConfiguration config, PrintStream out)

Method Summary

Modifier and Type	Method	Description
Trace<String,Integer>	run(MatrixDirectedGraph graph, StatePredicateIF<Integer> predicate)
Trace<String,Integer>	run(MatrixDirectedGraph graph, StatePredicateIF<Integer> predicate, Integer initialState)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SMCSimulator

public SMCSimulator(GMCConfiguration config,
 PrintStream out)

Method Details

run

public Trace<String,Integer> run(MatrixDirectedGraph graph,
 StatePredicateIF<Integer> predicate)
                          throws MisguidedExecutionException

Throws:

MisguidedExecutionException

run

public Trace<String,Integer> run(MatrixDirectedGraph graph,
 StatePredicateIF<Integer> predicate,
 Integer initialState)
                          throws MisguidedExecutionException

Throws:

MisguidedExecutionException