| /dports/math/clasp/clasp-3.3.5/src/ |
| H A D | dependency_graph.cpp | 396 typedef PrgDepGraph SccGraph; typedef in Clasp::Asp::PrgDepGraph::NonHcfComponent::ComponentMap
401 …void addVars(Solver& generator, const SccGraph& dep, const VarVec& atoms, const VarVec& bodies…
403 …void addBodyConstraints(const Solver& generator, const SccGraph& dep, uint32 scc, SharedContex…
404 void mapGeneratorAssignment(const Solver& generator, const SccGraph& dep, LitVec& out) const;
406 bool simplify(const Solver& generator, const SccGraph& dep, Solver& tester);
421 void PrgDepGraph::NonHcfComponent::ComponentMap::addVars(Solver& generator, const SccGraph& dep, co… in addVars()
505 …ponent::ComponentMap::addBodyConstraints(const Solver& generator, const SccGraph& dep, uint32 scc,… in addBodyConstraints()
559 …fComponent::ComponentMap::mapGeneratorAssignment(const Solver& s, const SccGraph& dep, LitVec& ass… in mapGeneratorAssignment()
585 bool PrgDepGraph::NonHcfComponent::ComponentMap::simplify(const Solver& generator, const SccGraph& … in simplify()
|
| /dports/math/clingo/clingo-5.5.1/clasp/src/ |
| H A D | dependency_graph.cpp | 396 typedef PrgDepGraph SccGraph; typedef in Clasp::Asp::PrgDepGraph::NonHcfComponent::ComponentMap
401 …void addVars(Solver& generator, const SccGraph& dep, const VarVec& atoms, const VarVec& bodies…
403 …void addBodyConstraints(const Solver& generator, const SccGraph& dep, uint32 scc, SharedContex…
404 void mapGeneratorAssignment(const Solver& generator, const SccGraph& dep, LitVec& out) const;
406 bool simplify(const Solver& generator, const SccGraph& dep, Solver& tester);
421 void PrgDepGraph::NonHcfComponent::ComponentMap::addVars(Solver& generator, const SccGraph& dep, co… in addVars()
505 …ponent::ComponentMap::addBodyConstraints(const Solver& generator, const SccGraph& dep, uint32 scc,… in addBodyConstraints()
559 …fComponent::ComponentMap::mapGeneratorAssignment(const Solver& s, const SccGraph& dep, LitVec& ass… in mapGeneratorAssignment()
585 bool PrgDepGraph::NonHcfComponent::ComponentMap::simplify(const Solver& generator, const SccGraph& … in simplify()
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
| H A D | dependency_graph.cpp | 396 typedef PrgDepGraph SccGraph; typedef in Clasp::Asp::PrgDepGraph::NonHcfComponent::ComponentMap
401 …void addVars(Solver& generator, const SccGraph& dep, const VarVec& atoms, const VarVec& bodies…
403 …void addBodyConstraints(const Solver& generator, const SccGraph& dep, uint32 scc, SharedContex…
404 void mapGeneratorAssignment(const Solver& generator, const SccGraph& dep, LitVec& out) const;
406 bool simplify(const Solver& generator, const SccGraph& dep, Solver& tester);
421 void PrgDepGraph::NonHcfComponent::ComponentMap::addVars(Solver& generator, const SccGraph& dep, co… in addVars()
505 …ponent::ComponentMap::addBodyConstraints(const Solver& generator, const SccGraph& dep, uint32 scc,… in addBodyConstraints()
559 …fComponent::ComponentMap::mapGeneratorAssignment(const Solver& s, const SccGraph& dep, LitVec& ass… in mapGeneratorAssignment()
585 bool PrgDepGraph::NonHcfComponent::ComponentMap::simplify(const Solver& generator, const SccGraph& … in simplify()
|
| /dports/math/py-or-tools/or-tools-9.2/ortools/sat/ |
| H A D | clause.cc | 1047 class SccGraph { class
1054 StronglyConnectedComponentsFinder<int32_t, SccGraph,
1057 explicit SccGraph(SccFinder* finder, Implication* graph, in SccGraph() function in operations_research::sat::SccGraph
1174 SccGraph::SccFinder finder; in DetectEquivalences()
1175 SccGraph graph(&finder, &implications_, &at_most_ones_, in DetectEquivalences()
|
| /dports/math/clasp/clasp-3.3.5/clasp/ |
| H A D | shared_context.h | 610 typedef SingleOwnerPtr<PrgDepGraph> SccGraph; typedef
666 SccGraph sccGraph; /*!< Program dependency graph - only used for ASP-problems. */
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp/ |
| H A D | shared_context.h | 610 typedef SingleOwnerPtr<PrgDepGraph> SccGraph; typedef
666 SccGraph sccGraph; /*!< Program dependency graph - only used for ASP-problems. */
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/ |
| H A D | shared_context.h | 610 typedef SingleOwnerPtr<PrgDepGraph> SccGraph; typedef
666 SccGraph sccGraph; /*!< Program dependency graph - only used for ASP-problems. */
|