Searched defs:addSplitter (Results 1 – 6 of 6) sorted by relevance
49 Entity *addSplitter(int x, int y, char *name) in addSplitter() function
49 virtual void addSplitter(const Expr& e, int priority) in addSplitter() function in CVC3::CoreSatAPI_implBase241 void SearchImplBase::addSplitter(const Expr& e, int priority) { in addSplitter() function in SearchImplBase
55 void addSplitter(const Expr& e, int priority) in addSplitter() function in CVC3::SearchSatCoreSatAPI186 void SearchSat::addSplitter(const Expr& e, int priority) in addSplitter() function in SearchSat
1601 SearchEngineFast::addSplitter(const Expr& e, int priority) { in addSplitter() function in SearchEngineFast
302 void TabbedViewContainer::addSplitter(ViewSplitter *viewSplitter, int index) in addSplitter() function in TabbedViewContainer
148 void Theory::addSplitter(const Expr& e, int priority) { in addSplitter() function in Theory