public class AntiUnifySystem4V extends AntiUnifySystem
Constructor and Description |
---|
AntiUnifySystem4V(EquationSystem<AntiUnifyProblem> problemSet,
Substitution sigma) |
compute, compute, getProblemSet, getSigma, getStoreHorizontalS, getStoreVerticalQ, storeToString, toString
public AntiUnifySystem4V(EquationSystem<AntiUnifyProblem> problemSet, Substitution sigma)