Uses of Class
at.jku.risc.stout.urauc.algo.AntiUnifySystem

Packages that use AntiUnifySystem

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 ).

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

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

Modifier and Type	Method and Description
AntiUnifySystem	AntiUnify.AntiUnifyOne.getResult() Returns the entire AntiUnifySystem which is encapsulated by this class

Methods in at.jku.risc.stout.urauc.algo with parameters of type AntiUnifySystem

Modifier and Type	Method and Description
void	AntiUnify.callback(AntiUnifySystem result, Variable generalizationVar) This callback function will be invoked for every found generalization.