Index - F

fastcnfIntDpfs.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
filterGtData.Map.Base
filterLtData.Map.Base
filterWithKey 
1 (Function)Data.IntMap.Base, Data.IntMap.Strict
2 (Function)Data.Map.Base, Data.Map.Strict
findFalse_CalculusDpfs.DavisPutnamFiniteSets
findIndexData.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
findPureLiteralDpfs.DavisPutnamFiniteSets
findSelection2Dpfs.DavisPutnamFiniteSets
findSimilarAtomUnitsDpfs.DavisPutnamFiniteSets
findSimpRule3Dpfs.DavisPutnamFiniteSets
findSimpUnitCalculusDpfs.DavisPutnamFiniteSets
findTrueFalseDpfs.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
forceControl.DeepSeq
FreshDpfs.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