From 5f33c44b82487634aa143a766da45cdcd23bb3ba Mon Sep 17 00:00:00 2001 From: wangyingjian <wangyingjian1990@gmail.com> Date: Tue, 11 Jan 2022 15:12:30 +0100 Subject: [PATCH] Update Constraint.relast --- src/main/jastadd/hanoi/Constraint.relast | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/main/jastadd/hanoi/Constraint.relast b/src/main/jastadd/hanoi/Constraint.relast index 1714c37..be33a46 100644 --- a/src/main/jastadd/hanoi/Constraint.relast +++ b/src/main/jastadd/hanoi/Constraint.relast @@ -3,13 +3,12 @@ abstract Term; abstract Connective; Atom:Connective ::= Relation; abstract Relation; -abstract UnaryRelation:Relation ::= Term; + abstract BinaryRelation:Relation ::= Left:Term Right:Term; Subsetof:BinaryRelation; Compare:BinaryRelation; Equal:BinaryRelation; -SelfEq:UnaryRelation; -SelfComp:UnaryRelation; + abstract UnaryConnective:Connective ::= Connective; abstract BinaryConnective:Connective ::= Left:Connective Right:Connective; Conjunction:BinaryConnective; @@ -24,4 +23,4 @@ rel PillarTerm.Rel -> Pillar; Term1:PillarTerm;//return size of top disk, return -1 when no disk. Term2:PillarTerm;//return the target pillar's ID for the current pillar in odd turns. -Term3:PillarTerm;//return the ID for the current pillar. \ No newline at end of file +Term3:PillarTerm;//return the ID for the current pillar. -- GitLab