A B C D E F G H I J K L M N O P R S T U V W X Y Z _

H

has(K) - Method in class edu.mit.csail.sdg.alloy4.Env

Returns true if the key is mapped to one or more values.

has(SimAtom) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTuple

Returns true if this tuple contains at least one occurrence of the given atom.

has(SimTuple) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

Returns true if this tupleset contains the given tuple.

has(SimAtom) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

Returns true if this tupleset is unary and contains the given atom.

hasArity(int) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Type

Returns true iff this contains an entry of the given arity.

hasAtom(SimAtom) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Returns true if the given atom is an Int atom, or String atom, or is in at least one of the sig.

hasCommonArity(Type) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Type

Returns true iff exists some A in this, some B in that, where A.arity==B.arity

hasFont(String) - Static method in class edu.mit.csail.sdg.alloy4.OurDialog

Returns true if a font with that name exists on the system (comparison is case-insensitive).

HASH - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

hashCode() - Method in exception edu.mit.csail.sdg.alloy4.Err

Returns a hash code consistent with equals()

hashCode() - Method in class edu.mit.csail.sdg.alloy4.Pair

Returns a hashcode based on (a==null?0:a.hashCode()) and (b==null?0:b.hashCode()).

hashCode() - Method in class edu.mit.csail.sdg.alloy4.Pos

Returns a hash code consistent with equals()

hashCode() - Method in class edu.mit.csail.sdg.alloy4.SafeList

Computes a hash code that is consistent with SafeList's equals() and java.util.List's hashCode() methods.

hashCode() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

hashCode() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Type

Returns a hash code consistent with equals()

hashCode() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Type.ProductType

Returns a hash code consistent with equals()

hashCode() - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimAtom

hashCode() - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTuple

hashCode() - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

Returns a hashcode consistent with the equals() method.

hashCode() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyAtom

Returns a hash code based on the type and index.

hashCode() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyInstance

Computes a hash code based on the same information used in equals().

hashCode() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyModel

Compute a hashcode based on the types, sets, relations, and the extension relationship.

hashCode() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyProjection

Computes a hashcode based on the types and the atoms chosen for each type.

hashCode() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyRelation

Computes a hash code based on the name and the list of types.

hashCode() - Method in class edu.mit.csail.sdg.alloy4viz.AlloySet

Compute a hash code based on the name and the type.

hashCode() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyTuple

Compute a hash code based on the list of atoms.

hashCode() - Method in class edu.mit.csail.sdg.alloy4viz.AlloyType

Compute a hash code based on the name.

hasName(String) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Decl

Returns true if this declaration contains the given name.

hasNoTuple() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Type

Returns true if this.size()==0 or every entry consists only of NONE.

hasPath(N, N) - Method in class edu.mit.csail.sdg.alloy4.DirectedGraph

Returns whether there is a directed path from start node to end node by following directed edges 0 or more times (breath-first).

hasRelation(String, List<AlloyType>) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyModel

Returns the AlloyRelation object if this model contains the given relation; or return null otherwise.

hasSeen(String) - Method in class edu.mit.csail.sdg.alloy4.UniqueNameGenerator

Queries whether the provided name has been "seen" or not.

hasSet(String, AlloyType) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyModel

Returns the AlloyRelation object if this model contains the given relation; or return null otherwise.

hasTuple() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Type

Returns true if this.size()>0 and at least one entry consists of something other than NONE.

hasType(AlloyType) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyModel

Returns true if this model contains the given type.

hasType(String) - Method in class edu.mit.csail.sdg.alloy4viz.AlloyModel

Returns the AlloyType object if this model contains the given type; or return null otherwise.

hasVar(ExprVar) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Returns true if the node is well-typed, unambiguous, and contains the given variable.

head() - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTuple

Returns the first atom of this tuple.

head(int) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTuple

Returns the subtuple containing the first n atoms (n must be between 1 and arity)

head(int) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

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 return this as is.

Helper - Class in edu.mit.csail.sdg.alloy4whole

This class contains convenient methods for people using Alloy4 API.

hideMeta() - Method in class edu.mit.csail.sdg.alloy4viz.VizState

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

hideMeta(Boolean) - Method in class edu.mit.csail.sdg.alloy4viz.VizState

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

hidePrivate() - Method in class edu.mit.csail.sdg.alloy4viz.VizState

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

hidePrivate(Boolean) - Method in class edu.mit.csail.sdg.alloy4viz.VizState

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

hideUnconnected - Variable in class edu.mit.csail.sdg.alloy4viz.VizState

highLevelCore() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution

If this solution is unsatisfiable and its unsat core is available, then return the core; else return an empty set.