polybori
.context
index
../../../../lib/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)