Result of alias elimination on a selected residual block. More...

#include <StructuralTransforms.hpp>

Collaboration diagram for janus::AliasEliminationResult:

Public Attributes
Function	reduced_function
	Function with aliases removed.
Function	reconstruct_full_input
	Maps reduced inputs back to original ordering.
std::vector< int >	kept_variable_indices
	Original indices of kept variables.
std::vector< int >	eliminated_variable_indices
	Original indices of eliminated variables.
std::vector< int >	kept_residual_indices
	Original indices of kept residuals.
std::vector< int >	eliminated_residual_indices
	Original indices of eliminated residuals.
std::vector< AliasSubstitution >	substitutions
	Applied substitution records.

Detailed Description

Result of alias elimination on a selected residual block.

reduced_function keeps the original input ordering, but the selected input block is reduced to the kept variables and the output is only the kept residual equations. reconstruct_full_input maps the reduced input block and any untouched original inputs back to the full original selected input block.

Member Data Documentation

◆ eliminated_residual_indices

std::vector<int> janus::AliasEliminationResult::eliminated_residual_indices

Original indices of eliminated residuals.

◆ eliminated_variable_indices

std::vector<int> janus::AliasEliminationResult::eliminated_variable_indices

Original indices of eliminated variables.

◆ kept_residual_indices

std::vector<int> janus::AliasEliminationResult::kept_residual_indices

Original indices of kept residuals.

◆ kept_variable_indices

std::vector<int> janus::AliasEliminationResult::kept_variable_indices

Original indices of kept variables.

◆ reconstruct_full_input

Function janus::AliasEliminationResult::reconstruct_full_input

Maps reduced inputs back to original ordering.

◆ reduced_function

Function janus::AliasEliminationResult::reduced_function

Function with aliases removed.

◆ substitutions

std::vector<AliasSubstitution> janus::AliasEliminationResult::substitutions

Applied substitution records.

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

include/janus/core/StructuralTransforms.hpp

Public Attributes