Make a JScrollPane containing the given component (which can be null), then apply a set of attributes to it. @param attributes - see {@link edu.mit.c

Changes the color for subsequent graphical drawing.

Returns set_union2[A][B] @return set_union2[A][B]

Returns set_union2[A][B] @return set_union2[A][B]

Truncate the given integer based on the current chosen bitwidth (as string) plus a flag to indicate overflow

Returns the "unchanged" predicate for the given event expression and field. @return "unchanged" predicate for the given event expression and field.

This wraps the given InputStream such that the resulting object's "close()" method does nothing; if stream==null, we get an InputStream that always re

Add a new relation with the given label and the given lower and upper bound with variable information that could not be retrieved when <code>expr</cod

{@inheritDoc}

Returns the arity.

Returns the declaration constraints. @return declaration constraints

Draws a line from (x1,y1) to (x2,y2)

Returns the empty environment. @return the empty environment.

Convenience method that recursively enables every JMenu and JMenuItem inside "menu". @param menu - the menu to start the recursive search

Returns true if both o1 and o2 are null, or o1.equals(o2) @return o1 and o2 are equal

Returns a new type { A | (A in this) and (A.arity == arity) } <p> ReturnValue.is_int == false <br> ReturnValue.is_bool == false <p> If it does not con

Return an unmodifiable list of all commands in this module.

Returns the bounding box when drawing the given string using the given font size and font boldness settings.

Gets the default edge palette.

Returns the current visualization settings (and you can call getOriginalInstance() on it to get the current state of the instance). If you make change

@see GridBagConstraints#gridwidth

Returns true if this tupleset contains the given tuple.

Returns the first atom of this tuple.

Returns this.inputs[i]. @return this.inputs[i] @throws IndexOutOfBoundsException 0 < i || i > 2

Add a straightline segment to (ax,ay)

Returns the relational expression that r must contain (the lower bound on r's contents). If r is not mapped by this, null is returned. @return r in t

Constructs an ExprCall node with the given predicate/function "fun" and the list of arguments "args".

Returns the largest variable identifier occurring in this.literals. @return max(abs(this.literals))

@ensures adds newline plus this.indent spaces to this.tokens

Returns a new matrix such that an entry in the returned matrix represents a combination of the corresponding entries in this and other matrix. The ef

Construct a new tupleset as the product of this and that; this and that must be come from the same solution.

Associates the given name with the given expression in the current lexical scope.

Read everything into a String; throws IOException if an error occurred. (If filename begins with Util.jarPrefix() then we read from the JAR instead)

Searches this.entries for the specified index using the binary search algorithm. If the index is not found, then -insertionPoint - 1 is returned, whe

Returns the node whose key is the floor of <tt>k</tt> in this tree, or null if no such node exists. @return {n: this.nodes | n.key <= k && n

Switch to the i-th tab (Note: if successful, it will always send STATUS_CHANGE to the registered listeners.

Shrink the bounds for the given relation; throws an exception if the new bounds is not sameAs/subsetOf the old bounds.

Returns the number of keys in this.indexer. @return #this.keys

Returns the number of ProductType entries in this type.

{@inheritDoc}

Returns a->b in subset. @return a->b in subset.

Whether the solver should run in temporal mode. Will require an appropriate {@link TemporalSolver solver} that is able to handle such execution mode.

Shifts the coordinate space by the given amount.

Converts this into a "formula" if possible; otherwise, returns an Expr with a nonempty error list

Returns a new type { A | (A is in this && A.arity in that) or (A is in that && A.arity in this) } <p> ReturnValue.is_int == false <br> ReturnValue.is_

Returns a new Solution with a UNSATISFIABLE outcome, given stats and proof. @return {s: Solution | s.outcome() = UNSATISFIABLE && s.stats() = stats &

Returns whether we will use original atom names.

Visits the multigate and returns the result. @return the result of visiting the given multigate

Returns the index of the word that contains the bit that represents the integer i. @requires 0 <= i < this.capacity

Writes nothing if the value is equal to the default value.

Returns the formula (always this) <p> this must be a formula

Returns a boolean value whose meaning is the conjunction of the input components. The behavior of this method is unspecified if v0 or v1 are not compo

Returns this.arity @return this.arity

Returns an unmodifiable sorted list of AlloySet(s) that this atom is in; answer can be an empty list.

Returns the build date.

Returns the build number.

@throws IllegalArgumentException f != this.factory

Helper method that returns the list of direct subsignatures.

Return the current lookahead in our error "parse ahead" buffer.

Returns the domain of this.relation. @return this.domain

Draws the given curve.

This method makes a copy of this Options object.

Encode special characters of a String using XML/HTML encoding. <p> In particular, it changes LESS THAN, GREATER THAN, AMPERSAND, SINGLE QUOTE, and DOU

Returns a formula stating that the given int expression and this have the same value. The effect of this method is the same as calling this.compare(E

@see GridBagConstraints#fill

Merge "a" into the set of entries. <p> If {a}+this.entries contain a set of entries X1..Xn, such that <br> (1) For each X: X[j]==a[j] for i!=j, and X[

Returns an unmodifiable copy of the list of all sigs in this solution's model; always contains UNIV+SIGINT+SEQIDX+STRING+NONE and has no duplicates.

Convert this color into its corresponding Java Color object.

Returns the back loop instance of this instance (should always exist).

Returns the original unprojected model.

Returns an unmodifiable sorted set of all AlloySet(s) in this model.

Returns the first AlloyAtom in this AlloyTuple.

Returns true if this model contains the given type.

Return the tupleset where each tuple is truncated to the first N atoms; if n is zero or negative, we return the emptyset; if n >= this.arity, we retur

Returns whether we will hide meta sigs/fields/relations.

Returns whether we will hide private sigs/fields/relations.

Return the identity of this solver. No two SATFactory objects should have the same id.

Returns the set of all indices mapped by this sparse sequence. The returned set supports removal iff this is not an unmodifiable sparse sequence. The

Returns true iff "this is equal or subtype of that"

Returns a boolean value whose meaning is [[i]] ? [[t]] : [[e]]. The behavior of this method is unspecified if i, t, or e are not components of this fa

Returns an iterator over the entries in this sequence in the ascending order of indeces, starting at this.first(). This method calls this.iterator(Int

Returns the left endpoint of this range. @return this.min

Returns an Int that represents the difference between this and the given Int. @requires this.factory = other.factory @return an Int that represents th