- e -

• edge : hittingsetalg.EdgeNodePair , hittingsetalg.EdgeNodePairFM
• EDGE_FOOTER : utils.GMLGraph
• EDGE_HEADER : utils.GMLGraph
• edgeLabels : hittingsetalg.HSNode , hittingsetalg.HSNodeFM
• edgeLines : utils.GMLGraph
• elementCount : utils.MSortedCollection
• ERR_BAD_REQUEST : ATPInterface.ATPConstants
• ERR_ILLEGAL_ASS : ATPInterface.ATPConstants
• ERR_ILLEGAL_RULE : ATPInterface.ATPConstants
• ERR_INTERNAL_SERVER_ERROR : ATPInterface.ATPConstants
• errorMessage : theoremprover.GenericParser
• expandedAlpha : dfengine.DENode
• expandedBeta : dfengine.DENode
• explanations : ATPInterface.LogicalDB
• explSizeSpinner : dfengine.GuiHittingSets