MCPcopy Create free account
hub / github.com/SWI-Prolog/packages-jpl / getTerm

Method getTerm

src/main/java/org/jpl7/Term.java:340–342  ·  view source on GitHub ↗

create and return a org.jpl7.Term representation of the given Prolog term @param vars_to_Vars A Map from Prolog variables to org.jpl7.Variable instances @param term The Prolog term (in a term_t holder) to convert @return The converted Term subclass instance.

(Map<term_t, Variable> vars_to_Vars, term_t term)

Source from the content-addressed store, hash-verified

338 * @return The converted Term subclass instance.
339 */
340 protected static Term getTerm(Map<term_t, Variable> vars_to_Vars, term_t term) {
341 return getLoop(new GetTask(0, new TermHolder(), term), vars_to_Vars);
342 }
343
344 protected static Term getTerm(term_t term) {
345 return getTerm(new HashMap<term_t, Variable>(), term);

Callers 3

fetchNextSolutionMethod · 0.95
getSubstsLoopMethod · 0.95
getSubstMethod · 0.95

Calls 1

getLoopMethod · 0.95

Tested by

no test coverage detected