235236237238239240241242243244245
* {@inheritDoc} */ @Override public int stage3EquivalenceStatements(ProtoNetwork network) { StatementEquivalencer e = new StatementEquivalencer(network); int equivalences = e.equivalence(); return equivalences; } /** * {@inheritDoc}