rdff | Data.Graph.InductivePlus |
rdff' | Data.Graph.InductivePlus |
rdfs | Data.Graph.InductivePlus |
rdfs' | Data.Graph.InductivePlus |
reachable | Data.Graph.InductivePlus |
recMGT | Data.Graph.InductivePlus |
recMGT' | Data.Graph.InductivePlus |
removeDel | Data.Graph.InductivePlus |
run | Data.Graph.InductivePlus |
runGT | Data.Graph.InductivePlus |
run_ | Data.Graph.InductivePlus |