private void updateCBPtrs(KinTermDef newbie) {
ClauseBody cb;
for (Object o : newbie.definitions) {
cb = (ClauseBody) o;
cb.ktd = newbie;
}
for (Object o : newbie.expandedDefs) {
cb = (ClauseBody) o;
cb.ktd = newbie;
}
}
private void makePCStrings(KinTermDef ktd, String eqcSig) throws KSInternalErrorException {
ArrayList<Object> pcList = ktd.decodeString(eqcSig);
if (ktd.expandedDefs.size() != pcList.size()) {
String msg = "PropDef ktd with " + pcList.size() + " symbols in EQC SigString\n";
msg += "had " + ktd.definitions.size() + " clauses in its definition.";
throw new KSInternalErrorException(msg);
}
for (int i = 0; i < pcList.size(); i++) {
ClauseBody cb = (ClauseBody) ktd.expandedDefs.get(i);
String s = (String) pcList.get(i);
if (cb.pcString == null || cb.pcString.isEmpty()) {
cb.pcString = s;
}
}
}