Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
sarah.grebing
ProofScriptParser
Commits
70ab6e44
Commit
70ab6e44
authored
Oct 08, 2018
by
Sarah Grebing
Browse files
minor
parent
ac4ea814
Changes
2
Hide whitespace changes
Inline
Side-by-side
rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/data/GoalNode.java
View file @
70ab6e44
...
...
@@ -54,6 +54,11 @@ public class GoalNode<T> {
this
.
id
=
id
;
}
private
GoalNode
(
int
id
,
GoalNode
<
T
>
parent
,
VariableAssignment
ass
,
T
data
,
boolean
isClosed
)
{
this
(
parent
,
ass
,
data
,
isClosed
);
this
.
id
=
id
;
}
private
GoalNode
(
int
id
,
T
data
,
boolean
isClosed
)
{
this
(
data
);
this
.
isClosed
=
isClosed
;
...
...
@@ -129,7 +134,8 @@ public class GoalNode<T> {
*/
public
GoalNode
<
T
>
deepCopy
()
{
if
(
parent
!=
null
)
{
return
new
GoalNode
<
T
>(
id
,
parent
.
deepCopy
(),
data
,
isClosed
);
VariableAssignment
deepCopy
=
parent
.
assignments
.
deepCopy
();
return
new
GoalNode
<
T
>(
id
,
parent
.
deepCopy
(),
deepCopy
,
data
,
isClosed
);
}
else
{
return
new
GoalNode
<
T
>(
id
,
data
,
isClosed
);
}
...
...
ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/script.kps
View file @
70ab6e44
script full(){
impRight;
impRight;
impLeft;
cases {
case match derivable `p`:
}
}
script full(){
impRight;
impRight;
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment