B C E G H L M P S T

B

Bisim - class ca.mcgill.lmp.finite.Bisim.
Bisim encapsulates all the information required to run the bisim() algorithm.
Bisim(LMP) - Constructor for class ca.mcgill.lmp.finite.Bisim
Create an instance of LMP to lump the given lmp.
bisim() - Method in class ca.mcgill.lmp.finite.Bisim
This algorithm allows us to distinguish states that do not satisfy the same formulas in the following logic:
L0 :== T | f_1 ^ f_2 | q f
This logic has the property to characterize bisimulation: two states are bisimilar iff they satisfy the same formulas in L0.

B C E G H L M P S T