alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

formula: hide initializer lists from swig

Browse source 
* src/ltlast/formula.hh: Here.
This commit is contained in:
Alexandre Duret-Lutz 2015-09-27 20:35:21 +02:00
parent 96806681e0
commit 5711d34489
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/ltlast/formula.hh
View file

@ -974,6 +974,7 @@ namespace spot
return ptr_->is(o); return ptr_->is(o);
} }
#ifndef SWIG
bool is(op o1, op o2) const bool is(op o1, op o2) const
{ {
return ptr_->is(o1, o2); return ptr_->is(o1, o2);
@ -983,6 +984,7 @@ namespace spot
{ {
return ptr_->is(l); return ptr_->is(l);
} }
#endif
formula get_child_of(op o) const formula get_child_of(op o) const
{ {
@ -992,6 +994,7 @@ namespace spot
return formula(f); return formula(f);
} }
#ifndef SWIG
formula get_child_of(std::initializer_list<op> l) const formula get_child_of(std::initializer_list<op> l) const
{ {
auto f = ptr_->get_child_of(l); auto f = ptr_->get_child_of(l);
@ -999,6 +1002,7 @@ namespace spot
f->clone(); f->clone();
return formula(f); return formula(f);
} }
#endif
uint8_t min() const uint8_t min() const
{ {
@ -1020,6 +1024,7 @@ namespace spot
return ptr_->id(); return ptr_->id();
} }
#ifndef SWIG
class SPOT_API formula_child_iterator final class SPOT_API formula_child_iterator final
{ {
const fnode*const* ptr_; const fnode*const* ptr_;
@ -1072,6 +1077,7 @@ namespace spot
{ {
return ptr_->end(); return ptr_->end();
} }
#endif
formula nth(unsigned i) const formula nth(unsigned i) const
{ {