Import Alloy module using Java API

0
votes

I'm trying to compute a total order of atoms using Alloy through its Java API.

So I was wondering: is there a way to include util/ordering[SomeSignature] using Alloy's Java API?

In edu.mit.csail.sdg.alloy4compiler.parser.CompModule there's a addOpen method but I don't know how to use it.

Thanks.

1
javaalloy

1 Answers

1
votes

I can't seem to find the addOpen method you are referring to in the API documentation so I would suggest you to not use it.

What is preventing you from adding "util/ordering[SomeSignature]" to your module before parsing it ?