public static standardizeApart ( |
||
c | ||
saIdx | int | |
return | int |
public static int standardizeApart(Chain c, int saIdx) {
List<Variable> variables = new List<Variable>();
foreach (Literal l in c.getLiterals()) {
collectAllVariables(l.getAtomicSentence(), variables);
}
return standardizeApart(variables, c, saIdx);
}
StandardizeApartInPlace::standardizeApart ( Clause c, int saIdx ) : int | |
StandardizeApartInPlace::standardizeApart ( List |