|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ErrorType | |
|---|---|
| edu.mit.csail.sdg.alloy4compiler.sim | This package contains a pure-Java evaluator/simulator for Alloy4 instances. |
| Uses of ErrorType in edu.mit.csail.sdg.alloy4compiler.sim |
|---|
| Methods in edu.mit.csail.sdg.alloy4compiler.sim that throw ErrorType | |
|---|---|
SimTupleset |
SimTupleset.join(SimTupleset that)
Return the relational join between this and that (throws ErrorType if this.arity==1 and that.arity==1) |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||