rationals.properties

Interface Relation

All Known Implementing Classes:

Bisimulation

public interface Relation

An interface for computing equivalences between automata. This interface allows definition of various relation between states.

Version:

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

Author:

nono

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 s1, State s2) Assert the equivalence between two states.
void	setAutomata(Automaton a1, Automaton a2) Sets the context for computing the relation.

Method Detail

setAutomata

void setAutomata(Automaton a1,
                 Automaton a2)

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

Parameters:

a1 - a1

a2 - a2

equivalence

boolean equivalence(State s1,
                    State s2)

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

Parameters:

s1 - s1

s2 - s2

Returns:

true is s1 ~ s2, false otherwise

equivalence

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

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

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