A pair of states. This class is used in the representation of alternating simulation.
@see InterfaceAutomaton#computeAlternatingSimulation
@author Yuhong Xiong
@version $Id: StatePair.java,v 1.4 2005/07/08 19:58:22 cxh Exp $
@since Ptolemy II 2.1
@Pt.ProposedRating Red (yuhong)
@Pt.AcceptedRating Red (yuhong)
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.