InferWriteMode::CounterExample Struct Reference

Public Member Functions
	CounterExample (ordered_set< const IR::BFN::ParserPrimitive * > prev, const IR::BFN::ParserPrimitive *curr, const bool is_rewritten_always=false)

Public Attributes
const IR::BFN::ParserPrimitive *	curr = nullptr
const bool	is_rewritten_always = false
ordered_set< const IR::BFN::ParserPrimitive * >	prev