Method | Description | |
---|---|---|
standardizeApart ( |
||
standardizeApart ( Clause c, int saIdx ) : int |
Method | Description | |
---|---|---|
collectAllVariables ( Sentence s, List |
||
standardizeApart ( List |
public static standardizeApart ( |
||
c | ||
saIdx | int | |
return | int |
public static standardizeApart ( Clause c, int saIdx ) : int | ||
c | Clause | |
saIdx | int | |
return | int |