Searched defs:TextOutputI (Results 1 – 2 of 2) sorted by relevance
42 class TextOutputI : public QMainWindow { class
84 TextOutputI::TextOutputI(const std::string& name, QWidget *parent) in TextOutputI() function in Gecode::Gist::TextOutputI