Class find_embedding::LocalInteraction

class find_embeddingLocalInteraction

Interface for communication between the library and various bindings.

Any bindings of this library need to provide a concrete subclass.

Public Functions

void find_embedding::LocalInteractiondisplayOutput(const string &msg) const

Print a message through the local output method.

bool find_embedding::LocalInteractioncancelled(const clock::time_point stoptime) const

Check if someone is trying to cancel the embedding process.