346347348349350351352353354355356
struct.addTerm(term); } Unifier unifier = new Unifier(); if(unifier.unifies(copy, struct)) { copy.apply(unifier); } else { System.err.println("Big mess!"); } for(Proposition proposition : copy.getPreconds()) {
374375376377378379380381382383384
if(!addInstance) { break; } } if(addInstance) { copy.apply(unifier); instances.add(getOperator(copy.getSignature())); } } } }