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