jtp.proof.transform
Class IdenticalSubgoalTransformer

java.lang.Object
  |
  +--jtp.proof.transform.IdenticalSubgoalTransformer

All Implemented Interfaces:

ProofTransformer

public class IdenticalSubgoalTransformer

extends Object

implements ProofTransformer

IdenticalSubgoalTransformer.java Created: Thu May 23 03:07:01 2002

Constructor Summary

IdenticalSubgoalTransformer()

Method Summary

protected boolean	goalsEqual(Object o1, Object o2)
Proof	transform(Proof p)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IdenticalSubgoalTransformer

public IdenticalSubgoalTransformer()

Method Detail

transform

public Proof transform(Proof p)

Specified by:

transform in interface ProofTransformer

goalsEqual

protected boolean goalsEqual(Object o1,
                             Object o2)