A C D E F G H I M N O P R S T V
N
- node - Variable in class at.jku.risc.stout.urmc.data.atom.Hole
-
- NodeFactory - Class in at.jku.risc.stout.urmc.data.atom
-
- NodeFactory() - Constructor for class at.jku.risc.stout.urmc.data.atom.NodeFactory
-
- nullAtom - Static variable in class at.jku.risc.stout.urmc.data.atom.TermAtom
-
- nullHedge - Static variable in class at.jku.risc.stout.urmc.data.Hedge
-
A C D E F G H I M N O P R S T V