Revision 11a2e331

View differences:

src/utwente/fmt/jtorx/testgui/ConfigPane.java
68 68
	public boolean getSynthDelta() {
69 69
		return synthDeltaToggleButton.getSelection();
70 70
	}
71
	public boolean getAngelicCompletion() {
72
		return angelicCompletionToggleButton.getSelection();
73
	}
74

  
71 75

  
72 76

  
73 77
	public String getInterpInputs() {
......
296 300

  
297 301
	public ConfigPane(Composite parent, Testgui g) {
298 302
		app = g;
299
		int ncolumns = 8;
303
		int ncolumns = 9;
300 304

  
301 305
		// Config Pane
302 306
		configGroup = new Group(parent, SWT.NONE);
......
820 824
		//traceKindCombo.setSize (200, 200);
821 825
		traceKindCombo.pack();
822 826
		
827
		angelicCompletionToggleButton = new Button(restConfigGroup, SWT.RIGHT|SWT.CHECK);
828
		angelicCompletionToggleButton.setText("complete");
829
		angelicCompletionToggleButton.pack();
830

  
831
		GridData angelicCompletionLayoutData = new GridData(GridData.VERTICAL_ALIGN_CENTER);
832
		angelicCompletionLayoutData.horizontalSpan = 1;
833
		angelicCompletionToggleButton.setLayoutData(angelicCompletionLayoutData);
834

  
835
		
823 836
		final org.eclipse.swt.widgets.Label deltaLabel = new org.eclipse.swt.widgets.Label(restConfigGroup, SWT.RIGHT);
824 837
		deltaLabel.setText("Delta:");
825 838
		deltaLabel.pack();
......
1034 1047

  
1035 1048
	private InterpKind interpKind = null;
1036 1049
	private Combo interpCombo = null;
1050
	private Button angelicCompletionToggleButton = null;
1037 1051
	private Button interpDeltaToggleButton = null;
1038 1052
	//private Text interpText = null;
1039 1053
	private Text interpInText = null;
src/utwente/fmt/jtorx/testgui/Testgui.java
1068 1068

  
1069 1069
		boolean cacheAllModelStates = testrunPane.vizSuspAutom();
1070 1070

  
1071
		CompoundLTS myPrimer = new Primer(modelData.getLTS(), interp, !configPane.getSynthDelta() /*tracesOnly*/, cacheAllModelStates, traceKind, err, progress);
1071
		CompoundLTS myPrimer = new Primer(modelData.getLTS(), interp, !configPane.getSynthDelta() /*tracesOnly*/, cacheAllModelStates, traceKind, configPane.getAngelicCompletion(), err, progress);
1072 1072
		runData.setModelLTS(myPrimer);
1073 1073
		runData.setModelWriter(new AniDotLTSWriter(modelData.getLTS(),  interp, getStateSpaceProgressReporter()));
1074 1074
		runData.setVizModel(testrunPane.vizModel());

Also available in: Unified diff