Exemple #1
0
 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;
   }
 }
Exemple #2
0
 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;
     }
   }
 }