polybori.context
index
../../../../lib64/python2.7/site-packages/polybori/context.py

 
Classes
       
__builtin__.object
RingContext

 
class RingContext(__builtin__.object)
     Methods defined here:
__enter__(self)
__init__(self, new_ring)

Data descriptors defined here:
__dict__
dictionary for instance variables (if defined)
__weakref__
list of weak references to the object (if defined)

 
Functions
       
current_number_of_variables()
global_ring(...)
global_ring() -> Ring :
 
    C++ signature :
        polybori::BoolePolyRing {lvalue} global_ring()

 
Data
        with_statement = _Feature((2, 5, 0, 'alpha', 1), (2, 6, 0, 'alpha', 0), 32768)