# idp_server.State¶

Management of the State of problem solving with the Interactive Consultant.

class idp_server.State.State(idp: idp_solver.Parse.Idp)[source]

Contains a state of problem solving

add_default()[source]

Add the values of the default structure without propagating.

Returns

the state with the default values added

Return type

State

add_given(jsonstr: str)[source]

Add the assignments that the user gave through the interface. These are in the form of a json string.

Parameters

jsonstr – the user’s assignment in json

Returns

the state with the jsonstr added

Return type

State

idp_server.State.make_state(idp: idp_solver.Parse.Idp, jsonstr: str)idp_server.State.State[source]

Manages the cache of States.

Parameters
• idp – IDP code parsed into Idp object

• jsonstr – the user’s assignments in json

Returns

the complete state of the system

Return type

State