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

Packages that use HedgeVar

Package	Description
at.jku.risc.stout.urauc.algo	This package contains the classes of the rule based system AntiUnifySystem, the corresponding problem definition AntiUnifyProblem and some standard implementations of a rigidity function (AlignFncLAA, AlignFncInput ).
at.jku.risc.stout.urauc.data	This package contains the classes which are needed to build up the term tree.

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

Methods in at.jku.risc.stout.urauc.algo that return HedgeVar

Modifier and Type	Method and Description
HedgeVar	AntiUnifyProblem.getHorizontalVarX() Returns the hedge generalization variable, which is used for horizontal abstraction.
HedgeVar	AntiUnify.AntiUnifyOne.getMostGeneral() Returns the hedge variable which is used as generalization variable.

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

Methods in at.jku.risc.stout.urauc.data that return HedgeVar

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

Methods in at.jku.risc.stout.urauc.data with parameters of type HedgeVar

Modifier and Type	Method and Description
static TermNode	NodeFactory.toHedgeNode(HedgeVar hedgeVar)