Documentation

data UnVarSet Source

emptyUnVarSet :: UnVarSet Source

mkUnVarSet :: [Var] -> UnVarSet Source

varEnvDom :: VarEnv a -> UnVarSet Source

unionUnVarSet :: UnVarSet -> UnVarSet -> UnVarSet Source

unionUnVarSets :: [UnVarSet] -> UnVarSet Source

delUnVarSet :: UnVarSet -> Var -> UnVarSet Source

elemUnVarSet :: Var -> UnVarSet -> Bool Source

isEmptyUnVarSet :: UnVarSet -> Bool Source

data UnVarGraph Source

emptyUnVarGraph :: UnVarGraph Source

unionUnVarGraph :: UnVarGraph -> UnVarGraph -> UnVarGraph Source

unionUnVarGraphs :: [UnVarGraph] -> UnVarGraph Source

completeGraph :: UnVarSet -> UnVarGraph Source

completeBipartiteGraph :: UnVarSet -> UnVarSet -> UnVarGraph Source

neighbors :: UnVarGraph -> Var -> UnVarSet Source

delNode :: UnVarGraph -> Var -> UnVarGraph Source