AsyncSolver Class Reference

Base class for composable solvers that handle their domains asynchronously. More...

Inheritance diagram for AsyncSolver:

Collaboration diagram for AsyncSolver:

Detailed Description

Base class for composable solvers that handle their domains asynchronously.

Default parameters:

{
    "partitions" : [],
    "synchronization_predicate" : {
        "type" : "WRApplication.ConstModelPredicate",
        "parameters" : [{"value" : true}]
    }
}

Each partition has a solver (AsyncSolver) and a predicate for determining when the partition requires synchronization (ModelPredicate ), both of which must be present in the RuntimeRegistry. Partition configuration is expected in the following format:

{
   "name" : "",        // <== partition name
   "type" : "",        // <== solver path in RuntimeRegistry
   "parameters" : {}   // <== subparameters passed on to the solver's constructor
}

"termination_predicate" controls when to break the solution loop. It should define a ModelPartPredicate accessible from the registry:

{
   "type" : ""         // <== ModelPartPredicate type to use as termination predicate
   "parameters" : {}   // <== subparameters to forward to predicate's the constructor
}

---

The documentation for this class was generated from the following file:

• AsyncSolver.py