cz::muni::stanse::automatonchecker::AutomatonStateTransferManager Member List
This is the complete list of members for
cz::muni::stanse::automatonchecker::AutomatonStateTransferManager, including all inherited members.
AutomatonStateTransferManager(final ArgumentPassingManager passingManager, final CallSiteDetector callDetector) | cz::muni::stanse::automatonchecker::AutomatonStateTransferManager | [inline, package] |
transfer(final CFGNode from, final AutomatonState state, final CFGNode to) | cz::muni::stanse::automatonchecker::AutomatonStateTransferManager | [inline, package] |
transfer(final CFGNode from, final ComposedAutomatonID id, final CFGNode to) | cz::muni::stanse::automatonchecker::AutomatonStateTransferManager | [inline, package] |
transfer(final CFGNode from, final SimpleAutomatonID id, final CFGNode to) | cz::muni::stanse::automatonchecker::AutomatonStateTransferManager | [inline, package] |