axiom_helper.h File Reference

Go to the source code of this file.

Namespaces
	ilang

Functions
z3::expr	ilang::Z3And (const z3::expr &a, const z3::expr &b)
	This is just a shortcut to be used for generated axiom.

Detailed Description

Header for Axiom helpers (some helper classes to used in writing Axioms)