Home
last modified time | relevance | path

Searched defs:VarTerm (Results 1 – 4 of 4) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libgringo/gringo/
H A Dterm.hh521 struct VarTerm : Term { struct
552 String name;
553 SVal ref;
554 bool bindRef;
555 unsigned level;
/dports/www/pomerium/pomerium-0.8.3/vendor/github.com/open-policy-agent/opa/ast/
H A Dterm.go714 func VarTerm(v string) *Term { func
/dports/sysutils/istio/istio-1.6.7/vendor/github.com/open-policy-agent/opa/ast/
H A Dterm.go713 func VarTerm(v string) *Term { func
/dports/math/clingo/clingo-5.5.1/libgringo/src/
H A Dterm.cc907 VarTerm::VarTerm(String name, SVal ref, unsigned level, bool bindRef) in VarTerm() function in Gringo::VarTerm