Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- axiom: boardWrittenValid(:e1, :n1, :e2) = If_Then_Else(Or(Equal(elemToInt(:n1), 1), Or(Equal(elemToInt(:n1), 2), Or(Equal(elemToInt(:n1), 3), Equal(elemToInt(:n1), 4)))), "Board is written in unvalid", "Board is written in valid")
- reduce : boardWrittenValid(_1(), _1(), _2())
- Exception in thread "main" java.lang.IllegalStateException: no_kind_error
- at actone.base.Axiom.applyAxiom(Axiom.java:96)
- at actone.base.Axiom.applyAxiom(Axiom.java:90)
- at actone.base.Axiom.reduce(Axiom.java:68)
- at actone.base.ITerm.useNonpredefinedAxioms(ITerm.java:214)
- at actone.predefined.STRING$String.reduceIteration(STRING.java:58)
- at actone.base.Reductions.singleReductionDFS(Reductions.java:89)
- at actone.base.Reductions.initReduction(Reductions.java:221)
- at Neighbours.Model.Neighbours.main(Neighbours.java:241)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement