Function interfaceSort

libsolidity/formal/PredicateSort.cpp:30–39

{

SortPointer interfaceSort(ContractDefinition const& _contract, SymbolicState& _state)
{
	return std::make_shared<FunctionSort>(
		std::vector<SortPointer>{_state.thisAddressSort()} +
			getBuiltInFunctionsSorts(_state) +
			std::vector<SortPointer>{_state.stateSort()} +
			stateSorts(_contract),
		SortProvider::boolSort
	);
}

SortPointer nondetInterfaceSort(ContractDefinition const& _contract, SymbolicState& _state)
{