prodigy.analysis.solver.mock_solver

class MockTrueSolver[source]

Bases: Solver

logger = <Logger MockTrueSolver (DEBUG)>
solve(f, g)[source]
Parameters:
Return type:

Tuple[bool | None, List[Dict[Expr, Expr]]]

class MockFalseSolver[source]

Bases: Solver

logger = <Logger MockFalseSolver (DEBUG)>
solve(f, g)[source]
Parameters:
Return type:

Tuple[bool | None, List[Dict[Expr, Expr]]]

class MockNoneSolver[source]

Bases: Solver

logger = <Logger MockNoneSolver (DEBUG)>
solve(f, g)[source]
Parameters:
Return type:

Tuple[bool | None, List[Dict[Expr, Expr]]]