Uses of Class
edu.mit.csail.sdg.alloy4.XMLNode

Packages that use XMLNode

edu.mit.csail.sdg.alloy4	This package contains general data structures and helper classes.
edu.mit.csail.sdg.alloy4compiler.translator	This package contains the translator from Alloy4 to CNF (using kodkod).

Uses of XMLNode in edu.mit.csail.sdg.alloy4

Methods in edu.mit.csail.sdg.alloy4 that return types with arguments of type XMLNode

java.lang.Iterable<XMLNode>	XMLNode.getChildren(java.lang.String type) Returns a read-only iteration of the immediate subelements whose type is equal to the given type.
java.util.Iterator<XMLNode>	XMLNode.iterator() Returns a read-only iterator over the immediate subelements.

Uses of XMLNode in edu.mit.csail.sdg.alloy4compiler.translator

Methods in edu.mit.csail.sdg.alloy4compiler.translator with parameters of type XMLNode

static A4Solution

A4SolutionReader.read(java.lang.Iterable<Sig> sigs, XMLNode xml) Parse the XML element into an AlloyInstance.