The relation operator <-> is not supported

favu100 / b2program

READ-ONLY MIRROR of https://gitlab.cs.uni-duesseldorf.de/general/stups/b2program; DO NOT PUSH

5 stars 3 forks source link

The relation operator <-> is not supported #3

Closed leuschel closed 2 years ago

leuschel commented 2 years ago

I get this message when using a model with <->:

Exception in thread "main" java.lang.RuntimeException: Given operator is not implemented: SET_RELATION at de.hhu.stups.codegenerator.generators.ExpressionGenerator.generateExpression(ExpressionGenerator.java:349) at de.hhu.stups.codegenerator.generators.ExpressionGenerator.visitExprOperatorNode(ExpressionGenerator.java:239)

favu100 commented 2 years ago

This issue is solved now