janus::AliasSubstitution Struct Reference

A single eliminated alias or trivial affine variable relation. More...

#include <StructuralTransforms.hpp>

Public Attributes
int	residual_index = -1
	Row that was eliminated.
int	eliminated_variable_index = -1
	Variable solved for.
SymbolicScalar	replacement
	Expression replacing the eliminated variable.

Detailed Description

A single eliminated alias or trivial affine variable relation.

Member Data Documentation

eliminated_variable_index

int janus::AliasSubstitution::eliminated_variable_index = -1

Variable solved for.

replacement

SymbolicScalar janus::AliasSubstitution::replacement

Expression replacing the eliminated variable.

residual_index

int janus::AliasSubstitution::residual_index = -1

Row that was eliminated.

---

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

• include/janus/core/StructuralTransforms.hpp