domain (Domain) – the domain object.
string (str) – the string containing the expression.
state (State | None) – the current state, containing objects.
variables (Sequence[Variable] | None) – the variables.
auto_constant_guess (bool) – whether to guess whether a variable is a constant.