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

Packages that use A4TupleSet

edu.mit.csail.sdg.alloy4compiler.translator

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

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

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

A4TupleSet	A4Solution.eval(Sig.Field field) Return the A4TupleSet for the given field (if solution not yet solved, or unsatisfiable, or field not found, then return an empty tupleset)
A4TupleSet	A4Solution.eval(Sig sig) Return the A4TupleSet for the given sig (if solution not yet solved, or unsatisfiable, or sig not found, then return an empty tupleset)
A4TupleSet	A4TupleSet.intersect(A4TupleSet that) Construct a new tupleset as the intersection of this and that; this and that must be come from the same solution.
A4TupleSet	A4TupleSet.minus(A4TupleSet that) Construct a new tupleset as the subtraction of this and that; this and that must be come from the same solution.
A4TupleSet	A4TupleSet.plus(A4TupleSet that) Construct a new tupleset as the union of this and that; this and that must be come from the same solution.
A4TupleSet	A4TupleSet.product(A4TupleSet that) Construct a new tupleset as the product of this and that; this and that must be come from the same solution.

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

A4TupleSet	A4TupleSet.intersect(A4TupleSet that) Construct a new tupleset as the intersection of this and that; this and that must be come from the same solution.
A4TupleSet	A4TupleSet.minus(A4TupleSet that) Construct a new tupleset as the subtraction of this and that; this and that must be come from the same solution.
A4TupleSet	A4TupleSet.plus(A4TupleSet that) Construct a new tupleset as the union of this and that; this and that must be come from the same solution.
A4TupleSet	A4TupleSet.product(A4TupleSet that) Construct a new tupleset as the product of this and that; this and that must be come from the same solution.