Function stateSorts

libsolidity/formal/PredicateSort.cpp:114–120

/// Helpers

std::vector<SortPointer> stateSorts(ContractDefinition const& _contract)
{
	return applyMap(
		SMTEncoder::stateVariablesIncludingInheritedAndPrivate(_contract),
		[](auto _var) { return smt::smtSortAbstractFunction(*_var->type()); }
	);
}

std::vector<SortPointer> getBuiltInFunctionsSorts(SymbolicState& _state)
{