Home
last modified time | relevance | path

Searched defs:PrgDisj (Results 1 – 6 of 6) sorted by relevance

/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Dclaspfwd.h70 class PrgDisj; variable
/dports/math/clasp/clasp-3.3.5/clasp/
H A Dclaspfwd.h70 class PrgDisj; variable
/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Dclaspfwd.h70 class PrgDisj; variable
/dports/math/clasp/clasp-3.3.5/src/
H A Dlogic_program_types.cpp1354 PrgDisj::PrgDisj(uint32 id, const Potassco::AtomSpan& head) : PrgHead(id, PrgNode::Disj, (uint32)Po… in PrgDisj() function in Clasp::Asp::PrgDisj
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Dlogic_program_types.cpp1354 PrgDisj::PrgDisj(uint32 id, const Potassco::AtomSpan& head) : PrgHead(id, PrgNode::Disj, (uint32)Po… in PrgDisj() function in Clasp::Asp::PrgDisj
/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Dlogic_program_types.cpp1354 PrgDisj::PrgDisj(uint32 id, const Potassco::AtomSpan& head) : PrgHead(id, PrgNode::Disj, (uint32)Po… in PrgDisj() function in Clasp::Asp::PrgDisj