Function interfacePre

libsolidity/formal/PredicateInstance.cpp:29–34

namespace solidity::frontend::smt
{
smtutil::Expression interfacePre(Predicate const& _pred, ContractDefinition const& _contract, EncodingContext& _context)
{
	auto& state = _context.state();
	std::vector<smtutil::Expression> stateExprs = getStateExpressionsForInterfacePre(state);
	return _pred(stateExprs + initialStateVariables(_contract, _context));
}

smtutil::Expression interface(Predicate const& _pred, ContractDefinition const& _contract, EncodingContext& _context)
{