src/ResolvExpr/SatisfyAssertions.cpp
SatState(
			CandidateRef && c, ast::AssertionSet && nn, InferCache && i, CostVec && cs,
			ast::SymbolTable && syms )
		: cand( std::move( c ) ), need( nn.begin(), nn.end() ), newNeed(), deferred(),
		  inferred( std::move( i ) ), costs( std::move( cs ) ), symtab( std::move( syms ) )
		  { costs.emplace_back( Cost::zero ); }
/// Field-wise next step constructor
Field-wise next step constructor
Field - wise next step constructor
SatState(
			CandidateRef && c, ast::AssertionSet && nn, InferCache && i, CostVec && cs,
			ast::SymbolTable && syms )
		: cand( std::move( c ) ), need( nn.begin(), nn.end() ), newNeed(), deferred(),
		  inferred( std::move( i ) ), costs( std::move( cs ) ), symtab( std::move( syms ) )
		  { costs.emplace_back( Cost::zero ); }
SatState ( CandidateRef && c , ast :: AssertionSet && nn , InferCache && i , CostVec && cs , ast :: SymbolTable && syms ) : cand ( std :: move ( c ) ) , need ( nn . begin ( ) , nn . end ( ) ) , newNeed ( ) , deferred ( ) , inferred ( std :: move ( i ) ) , costs ( std :: move ( cs ) ) , symtab ( std :: move ( syms ) ) { costs . emplace_back ( Cost :: zero ) ; }
Field-wise next step constructor
Field - wise next step constructor