CVC3
2.4.1
|
Go to the source code of this file.
Classes | |
class | CVC3::TheoremManager |
Namespaces | |
namespace | CVC3 |
Author: Sergey Berezin, Tue Feb 4 14:29:25 2003
Created: Feb 05 18:29:37 GMT 2003
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: TheoremManager
Holds the shared data for the class Theorem
Definition in file theorem_manager.h.