CVC3  2.4.1
Classes | Namespaces
uf_proof_rules.h File Reference

Abstract interface for uninterpreted function/predicate proof rules. More...

Go to the source code of this file.

Classes

class  CVC3::UFProofRules
 

Namespaces

 CVC3
 

Detailed Description

Abstract interface for uninterpreted function/predicate proof rules.

Author: Clark Barrett

Created: Tue Aug 31 23:12:01 2004


License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.


CLASS: UFProofRules

Definition in file uf_proof_rules.h.