assume_bound< C > Class Template Reference

#include <analytic.hpp>

List of all members.

Public Member Functions

• assume_bound ()

Public Attributes

• llnat serial
• table< vector< C >, void * > assumption
• table< vector< C >, void * > conclusion

---

Detailed Description

template<typename C>
class mmx::assume_bound< C >

Definition at line 93 of file analytic.hpp.

---

Constructor & Destructor Documentation

assume_bound

(

)

[inline]

Definition at line 99 of file analytic.hpp.

References assume_bound< C >::serial.

                         {
    static llnat current_serial= 1;
    serial= current_serial++; }

---

Member Data Documentation

table<vector<C>,void*> assumption

Definition at line 97 of file analytic.hpp.

table<vector<C>,void*> conclusion

Definition at line 98 of file analytic.hpp.

llnat serial

Definition at line 96 of file analytic.hpp.

Referenced by assume_bound< C >::assume_bound().

---

The documentation for this class was generated from the following file:

• include/continewz/analytic.hpp