safe_unify_remap_ctx Struct Reference

Mutator context for safe_unify_remap_mutator. More...

Public Attributes
int *	old_to_new
	1-indexed array: original rtindex -> compacted rtindex (after dropping non-keeper RTEs). Non-keepers map to their keeper's new index; keepers map to their own compacted index.
int	natoms
	Length of the original rtable (1-based domain of old_to_new).

Detailed Description

Mutator context for safe_unify_remap_mutator.

Definition at line 3387 of file safe_query.c.

Member Data Documentation

natoms

int safe_unify_remap_ctx::natoms

Length of the original rtable (1-based domain of old_to_new).

Definition at line 3389 of file safe_query.c.

old_to_new

int* safe_unify_remap_ctx::old_to_new

1-indexed array: original rtindex -> compacted rtindex (after dropping non-keeper RTEs). Non-keepers map to their keeper's new index; keepers map to their own compacted index.

Definition at line 3388 of file safe_query.c.

---

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

• /home/pierre/git/software/provsql/src/safe_query.c