Commit 9a5acb67 authored by Lulu Luong's avatar Lulu Luong

added ImpLeft Example (indistinct application of impLeft)

parent 01085d16
Pipeline #34811 passed with stages
in 2 minutes and 17 seconds
package edu.kit.iti.formal.psdbg.examples.impLeft;
import edu.kit.iti.formal.psdbg.examples.Example;
public class ImpLeftExample extends Example {
public ImpLeftExample() {
setName("ImpLeft");
defaultInit(getClass());
}
}
package edu.kit.iti.formal.psdbg.gui.controls;
import edu.kit.iti.formal.psdbg.gui.controller.DebuggerMain;
import javafx.fxml.FXML;
import javafx.scene.control.Button;
import javafx.scene.control.TextField;
import javafx.scene.layout.BorderPane;
public class ViewSettings extends BorderPane {
/*
TODO: Changeable View
- ScriptArea
- Contextmenu
- Sequentview
- JavaCode
*/
@FXML
private TextField scriptAreaSize;
@FXML
private TextField contextAreaSize;
@FXML
private TextField sequentSize;
@FXML
private TextField javaCodeSize;
@FXML
private TextField allSizes;
@FXML
private Button apply;
@FXML
private Button reset;
public ViewSettings(DebuggerMain dm) {
}
}
edu.kit.iti.formal.psdbg.examples.contraposition.ContrapositionExample
edu.kit.iti.formal.psdbg.examples.fol.FirstOrderLogicExample
edu.kit.iti.formal.psdbg.examples.applyEq.ApplyEqExample
edu.kit.iti.formal.psdbg.examples.impLeft.ImpLeftExample
edu.kit.iti.formal.psdbg.examples.java.simple.JavaSimpleExample
edu.kit.iti.formal.psdbg.examples.java.maxtriplet.MaxTripletExample
#edu.kit.iti.formal.psdbg.examples.java.transitive.PaperExample
......
\sorts {
s;
}
\predicates {
a;
b;
c;
}
\problem {
(a -> c) & (b -> c) -> !a -> !c
}
script s() {
impRight;
andLeft;
impLeft;
}
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<?import javafx.scene.layout.*?>
<fx:root type="javafx.scene.layout.BorderPane" xmlns:fx="http://javafx.com/fxml/1" fx:id="rootPane"
xmlns="http://javafx.com/javafx/8.0.112">
</fx:root>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment