pl_search::trail_entry Struct Reference

Represents a trail entry for backtracking. More...

#include <engine.hpp>

Public Attributes
PVarPtr	var
	The variable being trailed.
TermPtr	value
	The value of the variable.

Detailed Description

Represents a trail entry for backtracking.

Member Data Documentation

value

TermPtr pl_search::trail_entry::value

The value of the variable.

var

PVarPtr pl_search::trail_entry::var

The variable being trailed.

---

The documentation for this struct was generated from the following file:

• include/pl_search/engine.hpp