Searched refs:createReason (Results 1 – 6 of 6) sorted by relevance
/dports/math/chuffed/chuffed-e04bedd/chuffed/globals/ |
H A D | disjunctive.cpp | 45 Reason createReason(int var, int est) { in createReason() function in DisjunctiveBP 72 if (!x[i]->setMin(b, createReason(i, e))) return false; in propagate() 275 Reason createReason(int ps_i, int var, int let) { in createReason() function in DisjunctiveEF 331 Reason r = createReason(ps_i, task, let(lets[lets_i])); in doEdgeFinding()
|
/dports/math/chuffed/chuffed-e04bedd/chuffed/mdd/ |
H A D | wmdd_prop.h | 170 Reason createReason(int leaf) { in createReason() function
|
H A D | wmdd_prop.cpp | 383 Reason r = createReason((minC<<1)|1); in fullProp() 451 Reason r = createReason(vv<<1); in fullProp() 796 Reason r = createReason((minC<<1)|1); in incProp() 846 Reason r = createReason(vv<<1); in incProp()
|
/dports/net/yate/yate-6.4.0-1/libs/yjabber/ |
H A D | yatejingle.h | 1120 virtual XmlElement* createReason(int reason, const char* text = 0, 1615 virtual XmlElement* createReason(int reason, const char* text = 0,
|
H A D | session.cpp | 1325 hangup(createReason(ReasonTimeout,"Stanza timeout")); in getEvent() 2058 XmlElement* JGSession1::createReason(int reason, const char* text, XmlElement* child) in createReason() function in JGSession1
|
/dports/net/yate/yate-6.4.0-1/modules/ |
H A D | yjinglechan.cpp | 812 event->session()->hangup(event->session()->createReason(JGSession::ReasonGeneral)); in processEvent() 816 event->session()->hangup(event->session()->createReason(JGSession::ReasonGeneral)); in processEvent() 1522 xml = m_session->createReason(JGSession::ReasonSecurity,text, in hangup() 1526 xml = m_session->createReason(JGSession::ReasonOk,text, in hangup() 1532 xml = m_session->createReason(res,text); in hangup()
|