Method is_assertable

src/FactUnion.h:82–82

output functions

	// output functions
	virtual bool is_assertable(const Statement* /*s*/) const { return false;}
	virtual void Output(std::ostream &out) const;
	virtual void OutputAssertion(std::ostream &/*out*/, const Statement* /*s*/) const {};