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.