Changeset 12782

Show
Ignore:
Timestamp:
05.11.2009 12:55:30 (2 weeks ago)
Author:
raider
Message:

unnamed nodes with outgoing or incoming unproven edges are not hidden anymore.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/GUI/GraphLogic.hs

    r12742 r12782  
    219219selectNodesByType :: DGraph -> (DGNodeType -> Bool) -> [Node] 
    220220selectNodesByType dg types = 
    221   filter (\ n -> not (null $ outDG dg n) && filterInUnproven dg n) $ map fst 
     221  filter (\ n -> not (null $ outDG dg n) && hasUnprovenEdges dg n) $ map fst 
    222222  $ filter (types . getRealDGNodeType . snd) $ labNodesDG dg 
    223223 
    224 filterInUnproven :: DGraph -> Node -> Bool 
    225 filterInUnproven dg = 
     224hasUnprovenEdges :: DGraph -> Node -> Bool 
     225hasUnprovenEdges dg = 
    226226  foldl (\ b (_,_,l) -> case edgeTypeModInc $ getRealDGLinkType l of 
    227227                          ThmType { isProvenEdge = False } -> False 
    228                           _ -> b) True . innDG dg 
     228                          _ -> b) True . (\ n -> innDG dg n ++ outDG dg n) 
    229229 
    230230-- | compresses a list of types to the highest one