| java.lang.Object de.uka.ilkd.key.proof.incclosure.MultiMerger
MultiMerger | public class MultiMerger implements Merger(Code) | | Class for merging an arbitrary number of constraint streams
|
MultiMerger | public MultiMerger(Sink p_parent, int p_arity, Services p_services)(Code) | | Initial value of the buffers will be the parent's value
|
expand | public void expand(int p_arity)(Code) | | Expand the merger, possibly adding new sinks. The old sinks
will remain valid and will be the first elements in the new
list of all sinks. It is much more efficient to create all
needed sinks by a single call than by successive calls.
|
getArity | public int getArity()(Code) | | |
getSinks | public IteratorOfSink getSinks()(Code) | | Inputs offered by this merger
|
isSatisfiable | public boolean isSatisfiable()(Code) | | true iff the whole subtree of sinks below this mergerhas seen consistent constraints |
setParent | public void setParent(Sink p_parent)(Code) | | Reparent this merger; an implementing class should make
appropriate "reset"-calls to the new parent
|
|
|