Advertisement
Guest User

Untitled

a guest
Oct 14th, 2019
105
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.80 KB | None | 0 0
  1. 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")
  2.  
  3. reduce : boardWrittenValid(_1(), _1(), _2())
  4.  
  5. Exception in thread "main" java.lang.IllegalStateException: no_kind_error
  6. at actone.base.Axiom.applyAxiom(Axiom.java:96)
  7. at actone.base.Axiom.applyAxiom(Axiom.java:90)
  8. at actone.base.Axiom.reduce(Axiom.java:68)
  9. at actone.base.ITerm.useNonpredefinedAxioms(ITerm.java:214)
  10. at actone.predefined.STRING$String.reduceIteration(STRING.java:58)
  11. at actone.base.Reductions.singleReductionDFS(Reductions.java:89)
  12. at actone.base.Reductions.initReduction(Reductions.java:221)
  13. at Neighbours.Model.Neighbours.main(Neighbours.java:241)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement