Skip to content
Snippets Groups Projects
Commit 2a28a070 authored by Yingjian Wang's avatar Yingjian Wang
Browse files

Update CanMove.jrag

parent 615b1403
No related branches found
No related tags found
No related merge requests found
aspect CanMove {
aspect Info {
uncache Disk.smallerThan(Disk D);
syn boolean Disk.smallerThan(Disk D) {
if(this.getSize() < D.getSize()){
......@@ -19,6 +19,11 @@ aspect CanMove {
return (i+1)%3;
}
}
uncache Pillar.AmountD();
inh int Pillar.AmountD();
eq Hanoi.getPillar(int i).AmountD(){
return this.getAmountD();
}
uncache Pillar.ID();
inh int Pillar.ID();
eq Hanoi.getPillar(int i).ID(){
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment