Uses of Class
edu.mit.csail.sdg.alloy4compiler.translator.A4Options

Packages that use A4Options

edu.mit.csail.sdg.alloy4compiler.translator

This package contains the translator from Alloy4 to CNF (using kodkod).

Uses of A4Options in edu.mit.csail.sdg.alloy4compiler.translator

Methods in edu.mit.csail.sdg.alloy4compiler.translator that return A4Options

A4Options

A4Options.dup() This method makes a copy of this Options object.

Methods in edu.mit.csail.sdg.alloy4compiler.translator with parameters of type A4Options

static A4Solution	TranslateAlloyToKodkod.execute_command(A4Reporter rep, java.lang.Iterable<Sig> sigs, Command cmd, A4Options opt) Based on the specified "options", execute one command and return the resulting A4Solution object.
static A4Solution	TranslateAlloyToKodkod.execute_commandFromBook(A4Reporter rep, java.lang.Iterable<Sig> sigs, Command cmd, A4Options opt) Based on the specified "options", execute one command and return the resulting A4Solution object.