JavaScript is disabled on your browser.
Overview
Package
Class
Use
Tree
Index
Help
PREV
NEXT
FRAMES
NO FRAMES
All Classes
Uses of Class
at.jku.risc.stout.urau.data.atom.TermVar
Packages that use
TermVar
Package
Description
at.jku.risc.stout.urau.data
This package contains the classes which are needed to build up the term tree.
Uses of
TermVar
in
at.jku.risc.stout.urau.data
Methods in
at.jku.risc.stout.urau.data
that return
TermVar
Modifier and Type
Method and Description
static
TermVar
NodeFactory.
obtainFreshTermVar
()
Overview
Package
Class
Use
Tree
Index
Help
PREV
NEXT
FRAMES
NO FRAMES
All Classes