@Override public void getObviousTypes(final ATermAppl x, final List<ATermAppl> types, final List<ATermAppl> nonTypes) { assert isComplete() : "Initial consistency check has not been performed!"; Individual pNode = getIndividual(x); if (!pNode.getMergeDependency(true).isIndependent()) pNode = getIndividual(x); else pNode = pNode.getSame(); pNode.getObviousTypes(types, nonTypes); }
@Override public void getObviousTypes(final ATermAppl x, final List<ATermAppl> types, final List<ATermAppl> nonTypes) { assert isComplete() : "Initial consistency check has not been performed!"; Individual pNode = getIndividual(x); if (!pNode.getMergeDependency(true).isIndependent()) pNode = getIndividual(x); else pNode = pNode.getSame(); pNode.getObviousTypes(types, nonTypes); }