inferlo.pairwise.bruteforce.infer_bruteforce

inferlo.pairwise.bruteforce.infer_bruteforce(model: PairWiseFiniteModel) InferenceResult[source]

Inference by summing up all states.

Uses definition to perform inference, so complexity is O(al_size ** gr_size).

Result is exact.

Parameters:

model – Model for which to perform inference.

Returns:

InferenceResult object.