fastcnfInt | Dpfs.SimpCnf |
filter | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
3 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
4 (Function) | Data.Map.Base, Data.Map.Strict |
filterGt | Data.Map.Base |
filterLt | Data.Map.Base |
filterWithKey | |
1 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
2 (Function) | Data.Map.Base, Data.Map.Strict |
findFalse_Calculus | Dpfs.DavisPutnamFiniteSets |
findIndex | Data.Map.Base, Data.Map.Strict |
findMax | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
3 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
4 (Function) | Data.Map.Base, Data.Map.Strict |
findMin | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
3 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
4 (Function) | Data.Map.Base, Data.Map.Strict |
findPureLiteral | Dpfs.DavisPutnamFiniteSets |
findSelection2 | Dpfs.DavisPutnamFiniteSets |
findSimilarAtomUnits | Dpfs.DavisPutnamFiniteSets |
findSimpRule3 | Dpfs.DavisPutnamFiniteSets |
findSimpUnitCalculus | Dpfs.DavisPutnamFiniteSets |
findTrueFalse | Dpfs.DavisPutnamFiniteSets |
findUnit' | Dpfs.DavisPutnamFiniteSets |
findWithDefault | |
1 (Function) | Data.IntMap.Base |
2 (Function) | Data.Map.Base |
3 (Function) | Data.Map.Strict |
4 (Function) | Data.IntMap.Strict |
fold | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
foldl | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
3 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
4 (Function) | Data.Map.Base, Data.Map.Strict |
foldl' | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
3 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
4 (Function) | Data.Map.Base, Data.Map.Strict |
foldlStrict | |
1 (Function) | Data.IntMap.Base |
2 (Function) | Data.Map.Base |
foldlWithKey | |
1 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
2 (Function) | Data.Map.Base, Data.Map.Strict |
foldlWithKey' | |
1 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
2 (Function) | Data.Map.Base, Data.Map.Strict |
foldr | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
3 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
4 (Function) | Data.Map.Base, Data.Map.Strict |
foldr' | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
3 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
4 (Function) | Data.Map.Base, Data.Map.Strict |
foldrWithKey | |
1 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
2 (Function) | Data.Map.Base, Data.Map.Strict |
foldrWithKey' | |
1 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
2 (Function) | Data.Map.Base, Data.Map.Strict |
force | Control.DeepSeq |
Fresh | Dpfs.SimpCnf |
fromAscList | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
3 (Function) | Data.IntMap.Base |
4 (Function) | Data.Map.Base |
5 (Function) | Data.Map.Strict |
6 (Function) | Data.IntMap.Strict |
fromAscListWith | |
1 (Function) | Data.IntMap.Base |
2 (Function) | Data.Map.Base |
3 (Function) | Data.Map.Strict |
4 (Function) | Data.IntMap.Strict |
fromAscListWithKey | |
1 (Function) | Data.IntMap.Base |
2 (Function) | Data.Map.Base |
3 (Function) | Data.Map.Strict |
4 (Function) | Data.IntMap.Strict |
fromDistinctAscList | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
3 (Function) | Data.IntMap.Base |
4 (Function) | Data.Map.Base |
5 (Function) | Data.Map.Strict |
6 (Function) | Data.IntMap.Strict |
fromList | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
3 (Function) | Data.IntMap.Base |
4 (Function) | Data.Map.Base |
5 (Function) | Data.Map.Strict |
6 (Function) | Data.IntMap.Strict |
fromListWith | |
1 (Function) | Data.IntMap.Base |
2 (Function) | Data.Map.Base |
3 (Function) | Data.Map.Strict |
4 (Function) | Data.IntMap.Strict |
fromListWithKey | |
1 (Function) | Data.IntMap.Base |
2 (Function) | Data.Map.Base |
3 (Function) | Data.Map.Strict |
4 (Function) | Data.IntMap.Strict |
fromSet | |
1 (Function) | Data.IntMap.Base |
2 (Function) | Data.Map.Base |
3 (Function) | Data.Map.Strict |
4 (Function) | Data.IntMap.Strict |