Using SymbolicAsyncGraph::restrict, we can often end up with a graph that cannot perform any transitions using a particular variable. Such cases can be still incur non-trivial overhead. Ideally, SymbolicAsyncGraph should have some background functionality that silently ignores such functions such that this needn't be implemented by the API users.
Using
SymbolicAsyncGraph::restrict, we can often end up with a graph that cannot perform any transitions using a particular variable. Such cases can be still incur non-trivial overhead. Ideally,SymbolicAsyncGraphshould have some background functionality that silently ignores such functions such that this needn't be implemented by the API users.