Home
last modified time | relevance | path

Searched refs:createReason (Results 1 – 6 of 6) sorted by relevance

/dports/math/chuffed/chuffed-e04bedd/chuffed/globals/
H A Ddisjunctive.cpp45 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 Dwmdd_prop.h170 Reason createReason(int leaf) { in createReason() function
H A Dwmdd_prop.cpp383 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 Dyatejingle.h1120 virtual XmlElement* createReason(int reason, const char* text = 0,
1615 virtual XmlElement* createReason(int reason, const char* text = 0,
H A Dsession.cpp1325 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 Dyjinglechan.cpp812 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()