Uses of Class
at.jku.risc.stout.uru.data.atom.HedgeVar

Packages that use HedgeVar

Package	Description
at.jku.risc.stout.uru.algo
at.jku.risc.stout.uru.data	This package contains the classes which are needed to build up the term tree.
at.jku.risc.stout.uru.data.atom	This package contains all the atomic types like Function, TermVar, HedgeVar.

Uses of HedgeVar in at.jku.risc.stout.uru.algo

Methods in at.jku.risc.stout.uru.algo that return types with arguments of type HedgeVar

Modifier and Type	Method and Description
Set<HedgeVar>	UnifProblem.collectHedgeVars()

Methods in at.jku.risc.stout.uru.algo with parameters of type HedgeVar

Modifier and Type	Method and Description
void	UnifSystem.eliminateSeqVariable(HedgeVar seqVar)

Method parameters in at.jku.risc.stout.uru.algo with type arguments of type HedgeVar

Modifier and Type	Method and Description
void	UnifEquation.collectHedgeVars(Set<HedgeVar> atoms)

Uses of HedgeVar in at.jku.risc.stout.uru.data

Methods in at.jku.risc.stout.uru.data that return types with arguments of type HedgeVar

Modifier and Type	Method and Description
Set<HedgeVar>	TermNode.collectHedgeVars(Set<HedgeVar> atoms)

Method parameters in at.jku.risc.stout.uru.data with type arguments of type HedgeVar

Modifier and Type	Method and Description
Set<HedgeVar>	TermNode.collectHedgeVars(Set<HedgeVar> atoms)

Uses of HedgeVar in at.jku.risc.stout.uru.data.atom

Methods in at.jku.risc.stout.uru.data.atom that return HedgeVar

Modifier and Type	Method and Description
static HedgeVar	NodeFactory.obtainFreshHedgeVar()