rationals.properties

Class Bisimulation

java.lang.Object

rationals.properties.Bisimulation

All Implemented Interfaces:

Relation

public class Bisimulation
extends Object
implements Relation

This method computes the (strong) bisimulation relation between two states.

Version:

$Id: Bisimulation.java 2 2006-08-24 14:41:48Z oqube $

Author:

nono

Constructor Summary

Constructors

Constructor and Description
Bisimulation() Argument-less constructor.
Bisimulation(Automaton automaton, Automaton automaton2) Constructor with two automataon.

Method Summary

Modifier and Type	Method and Description
boolean	equivalence(Set<State> nsa, Set<State> nsb) Asset the equivalence between two set of states.
boolean	equivalence(State q0a, State q0b) Assert the equivalence between two states.
void	setAutomata(Automaton a1, Automaton a2) Sets the context for computing the relation.

Methods inherited from class java.lang.Object

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

Constructor Detail

Bisimulation

public Bisimulation(Automaton automaton,
                    Automaton automaton2)

Constructor with two automataon. This constructor effectively calls setAutomata(Automaton,Automaton).

Parameters:

automaton - automaton

automaton2 - automaton2

Bisimulation

public Bisimulation()

Argument-less constructor. Note that this implies the method setAutomata(Automaton,Automaton) must be called before using this relation.

Method Detail

setAutomata

public void setAutomata(Automaton a1,
                        Automaton a2)

Description copied from interface: Relation

Sets the context for computing the relation. This method must be called before Relation.equivalence(State,State).

Specified by:

setAutomata in interface Relation

Parameters:

a1 - a1

a2 - a2

equivalence

public boolean equivalence(State q0a,
                           State q0b)

Description copied from interface: Relation

Assert the equivalence between two states. This method returns true if and only if the two states are in relation.

Specified by:

equivalence in interface Relation

Parameters:

q0a - s1

q0b - s2

Returns:

true is s1 ~ s2, false otherwise

equivalence

public boolean equivalence(Set<State> nsa,
                           Set<State> nsb)

Description copied from interface: Relation

Asset the equivalence between two set of states. This method returns true if and only if the two states set are equivalent.

Specified by:

equivalence in interface Relation

Parameters:

nsa - a Set of State objects from a

nsb - a Set of State objects from b

Returns:

true if nsa is equivalent to nsb