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.urmc.data.atom.TermVar
Packages that use
TermVar
Package
Description
at.jku.risc.stout.urmc.data.atom
This package contains all the atomic types like
Function
,
TermVar
,
HedgeVar
.
Uses of
TermVar
in
at.jku.risc.stout.urmc.data.atom
Methods in
at.jku.risc.stout.urmc.data.atom
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