defTrees defTreesL dotifyDefTree dtPattern dtRoot fromDefTrees hasDefTree idtPositions loDefTrees phiRStrategy selectDefTrees writeDefTree
defTrees
defTreesL
dotifyDefTree
dtPattern
dtRoot
fromDefTrees
hasDefTree
idtPositions
loDefTrees
phiRStrategy
selectDefTrees
writeDefTree