Go to the source code of this file.
◆ export_CF()
Definition at line 17 of file CF_wrap.cc.
17 {
18 boost::python::class_<CanonicalForm>("canonical_form")
19 .def(boost::python::init <const int>())
20 .def(boost::python::init <const Variable>())
21#ifndef NOSTREAMIO
22 .def("__str__", CF_as_str)
23#endif
24 .def(-self)
25 .def(self*=self)
26 .def(self+=self)
27 .def(self-=self)
28 .def(self/=self)
29 .def(self==self)
30 .def(self+self)
31 .def(self*self)
32 .def(self/self)
33 .def(self-self)
34 .def(int()==self)
35 .def(int()+self)
36 .def(int()*self)
37 .def(int()/self)
38 .def(int()-self)
39 .def(self==int())
40 .def(self+int())
41 .def(self*int())
42 .def(self/int())
43 .def(self-int())
44 .def(self*=int())
45 .def(self+=int())
46 .def(self-=int())
47 .def(self/=int());
48}