Uses of Class
edu.mit.csail.sdg.alloy4compiler.ast.Type.ProductType

Packages that use Type.ProductType

edu.mit.csail.sdg.alloy4compiler.ast

This package contains the definition of AST nodes.

Uses of Type.ProductType in edu.mit.csail.sdg.alloy4compiler.ast

Methods in edu.mit.csail.sdg.alloy4compiler.ast that return types with arguments of type Type.ProductType

java.util.Iterator<Type.ProductType>

Type.iterator() Returns an iterator that iterates over the ProductType entries in this type.

Methods in edu.mit.csail.sdg.alloy4compiler.ast with parameters of type Type.ProductType

Type	Type.intersect(Type.ProductType that) Returns a new type { A&that | A is in this }
Type	Type.merge(Type.ProductType that) Returns a new type { A | A is in this, or A == that }
Type	Type.merge(Type.ProductType that, int begin, int end) Returns a new type { A | A is in this, or A == that.subList(begin,end) }