CppClingo::Ground::AtomInfo Struct Reference

Capture the state of an atom. More...

#include <base.hh>

Public Attributes
uint64_t	id: 62
	A unique id among all atoms.
StateAtom	state: 2
	The atom state.

Detailed Description

Capture the state of an atom.

---

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

• clingo/ground/base.hh