public class AntiUnify4V extends AntiUnify
AntiUnify.AntiUnifyOne
Constructor and Description |
---|
AntiUnify4V(AlignFnc aFnc,
EquationSystem<AntiUnifyProblem> sys,
DebugLevel debugLevel) |
public AntiUnify4V(AlignFnc aFnc, EquationSystem<AntiUnifyProblem> sys, DebugLevel debugLevel)