rationals.properties

Interface BinaryTest

public interface BinaryTest

Interface describing binary tests (ie. tests between two automata).

Version:

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

Author:

nono

Method Summary

Modifier and Type	Method and Description
boolean	test(Automaton a, Automaton b) Tests that some predicate is true for two given automata.

Method Detail

test

boolean test(Automaton a,
             Automaton b)

Tests that some predicate is true for two given automata.

Parameters:

a - a

b - b

Returns:

true if test