Return the first variable in this declaration.

Append the given atom to the back of this tuple, then return the resulting new Tuple.

Returns the latest value associated with the key (and returns null if none). <p> Since null is also a possible value, if you get null as the answer,

Merge "x" into the set of entries, then return the new arity bitmask. <br> Precondition: entries and arities are consistent

Add an element into the list.

Returns the number of objects in this set.

Returns the number of ProductType entries in this type.

Copy the input list, append "element" to it, then return the result as an unmodifiable list.

{@inheritDoc}

This method is called by the A4SolutionWriter when it is writing a particular sig, field, or skolem.

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

Returns the number of tuples in this tuple set.

Two Err objects are equal if the type, position, and message are the same.

This constructs a Kodkod Tuple from the list of atoms, and returns null if no such Tuple can be constructed.

Returns the text matched by the current regular expression.

Returns a new type { A | A is in this, or A is in that } <p> ReturnValue.is_int == this.is_int || that.is_int <br> ReturnValue.is_bool == this.is_

Constructs a ExprITE expression. @param cond - the condition formula @param left - the then-clause @param right - the else-clause

Returns the name of this element.

{@inheritDoc}

Makes this TempList unmodifiable, then construct a ConstList backed by this TempList.

Return the type for this node; EMPTY if it is not well-typed.

Returns an unmodifiable List with same elements as the array.

Construct a SimAtom for the given label, or if an existing SimAtom hasn't been garbage collected yet then return that instead.

Appends the given element to the list, then return itself.

Returns the formula (this and x) <p> this and x must both be formulas <p> Note: as a special guarantee, if x==null, then the method will return this E

Returns true if the given object is in this set.

Returns the arity.

Returns true if this.arity==0 or this==NONE->..->NONE

Change a.pos to be the merger of a.pos and b.pos, then change a.sym to be sym, then return a.

{@inheritDoc}

Write "msg" in regular style.

If every entry has the same arity, that arity is returned; <br> else if some entries have different arities, we return -1; <br> else we return 0 (whic

This method is called by Swing to enable/disable a component.

Construct a new JMenuItem then add it to an existing JMenu. @param parent - the JMenu to add this JMenuItem into (or null if you don't want to add it

Associates the key with the value (which can be null).

Write the given number into this byte buffer, followed by a space.

This is the start method that begins a traversal over the given expression.

Returns a String representation of this position value.

Wraps the calling method into a Runnable whose run() will call the calling method with (false) as the only argument.

Convenience method that evalutes x and cast the result to be a Kodkod IntExpression. @return the integer expression - if x evaluates to an IntExpressi

Returns the number of tuples in this tupleset (this answer may be truncated if it cannot fit in a 32-bit integer)

Removes the latest mapping for the key (and if the key had previous mappings, they become visible). If there are no mappings for the key, then this me

Returns an unmodifiable view of the mappings in this map.

Returns the X coordinate of the center of the node.

Returns the i-th atom in this Tuple.

Convenience method that evalutes x and cast the result to be a tupleset @return the tupleset - if x evaluates to a tupleset @throws ErrorFatal - if x

Attempt to close the file/stream/reader/writer and return true if and only if we successfully closed it. (If object==null, we return true right away)

Returns the node width.

Modifies the given Graphics2D object to use the line style representing by this object. <p> NOTE: as a special guarantee, if gr2d==null, then this met

If this tupleset is empty, then return 0, else return the arity of every tuple in this tupleset.

Given a node, call the visitor to dump its text out, then return its name.

Convenience method that evaluаtes x and cast the result to be a Kodkod Expression. @return the expression - if x evaluates to an Expression @throws Er

Add the given rectangle to the list of rectangles in this space.

Two sets are equal if they have the same name and the same type.

Returns the number of tuples in this tupleset (this answer will never overflow)

Returns the value associated with the given attribute name; if the attribute doesn't exist, return "".

Finds the first occurrence of <b>small</b> within <b>big</b>. @param big - the String that we want to perform the search on @param small - the pattern

Returns the options for the external command-line solver to use (or empty array if this solver does not use an external commandline solver)

Returns true if the type of this element is equal to the given type.

Return the i-th atom from this tuple.

Returns the node shape (or null if the node is a dummy node).

Returns the canonical absolute path for a file. If an IO error occurred, or if the file doesn't exist yet, we will at least return a noncanonical but

Convenience method that evalutes x and cast the result to be a int. @return the int - if x evaluates to an int @throws ErrorFatal - if x does not eval

Write a debugging message to System.err for the debugging version of the parser. @param mess the text of the debugging message.

Returns an unmodifiable copy of the map from each Sig/Field/Skolem/Atom to its corresponding Kodkod expression.

Returns true if this is empty.

Query the current length of the log.

Make a JPanel using horizontal BoxLayout, and add the components to it (each component will be center-aligned). <br> If a component is Color, it's the

Return an unmodifiable empty list.

Change the entire text to the given text (and sets the modified flag)

Returns the Y coordinate of the center of the node.

Write a list of Strings into a PrintWriter, where strs[2n] are written as-is, and strs[2n+1] are XML-encoded. <p> For example, if you call encodeXML(

Return the list of fields as a combined unmodifiable list (without telling you which fields are declared to be disjoint)

Returns true iff running on Mac OS X.

Add a collection of elements into the list.

Returns the text if this is a text node, returns "" otherwise.

Associate the given formula with the given expression, then return the formula as-is.

Returns the type constructed by taking the product for each sig in this tuple.

Returns the i-th tuple, or null if no such tuple.

Returns the node height.

Returns the expression (this.x) <p> 1. this must be a set or relation <p> 2. x must be a set or relation <p> 3. at most one of them can be a unary set

Write "msg" in bold style.

If x = SOMETHING->RELATION where SOMETHING.arity==1, then return the RELATION, else return null.

{@inheritDoc}

Returns true if exists at least one (k, v) mapping where (k==null ? key==null : k.equals(key))

Commits all outstanding writes (if the messages are buffered).

Given a node, return its name (if no name has been chosen, then make a new name)

Changes the current color.