Home
last modified time | relevance | path

Searched defs:CSPRelTerm (Results 1 – 2 of 2) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libgringo/gringo/
H A Dterms.hh239 struct CSPRelTerm { struct
269 GRINGO_CALL_HASH(Gringo::CSPRelTerm)
/dports/math/clingo/clingo-5.5.1/libgringo/src/
H A Dterms.cc279 CSPRelTerm::CSPRelTerm(Relation rel, CSPAddTerm &&term) in CSPRelTerm() function in Gringo::CSPRelTerm