Home
last modified time | relevance | path

Searched refs:fwdEdge (Results 1 – 3 of 3) sorted by relevance

/dports/math/clasp/clasp-3.3.5/src/
H A Dlogic_program_types.cpp778 PrgEdge fwdEdge = PrgEdge::newEdge(*h, t); in addHead() local
785 else { dup = std::find(heads_begin(), heads_end(), fwdEdge) != heads_end(); } in addHead()
788 addHead(fwdEdge); in addHead()
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Dlogic_program_types.cpp778 PrgEdge fwdEdge = PrgEdge::newEdge(*h, t); in addHead() local
785 else { dup = std::find(heads_begin(), heads_end(), fwdEdge) != heads_end(); } in addHead()
788 addHead(fwdEdge); in addHead()
/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Dlogic_program_types.cpp778 PrgEdge fwdEdge = PrgEdge::newEdge(*h, t); in addHead() local
785 else { dup = std::find(heads_begin(), heads_end(), fwdEdge) != heads_end(); } in addHead()
788 addHead(fwdEdge); in addHead()