← Back to branch summary

~danilovesky/workcraft/trunk-menu-tools

« back to all changes in this revision

Viewing changes to PolicyNetPlugin/src/org/workcraft/plugins/policy/PolicyNetToolProvider.java

  • Committer: Danil Sokolov
  • Date: 2015-05-27 12:17:26 UTC
  • mfrom: (616.1.1 workcraft-trunk)
  • Revision ID: danilovesky@gmail.com-20150527121726-cbu8w2hc3jf9d8g8
Merge proposal for bug #1459158 approved.

Show diffs side-by-side

added added

removed removed

Lines of Context:
PolicyNetPlugin/src/org/workcraft/plugins/policy/PolicyNetToolProvider.java
10
10
import org.workcraft.gui.graph.tools.NodeGeneratorTool;
11
11
import org.workcraft.plugins.petri.Place;
12
12
import org.workcraft.plugins.policy.tools.SelectionTool;
13
 
import org.workcraft.plugins.policy.tools.SimulationTool;
 
13
import org.workcraft.plugins.policy.tools.PolicySimulationTool;
14
14
 
15
15
public class PolicyNetToolProvider implements CustomToolsProvider {
16
16
 
24
24
                
25
25
                result.add(new NodeGeneratorTool(new DefaultNodeGenerator(Place.class)));
26
26
                result.add(new NodeGeneratorTool(new DefaultNodeGenerator(BundledTransition.class)));
27
 
                result.add(new SimulationTool());
 
27
                result.add(new PolicySimulationTool());
28
28
                
29
29
                return result;
30
30
        }