github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-01-09 14:48:16 -05:00
Code Issues Packages Projects Releases Wiki Activity

Remove leftover code relating to bus field assignments. (#3144)

Browse Source 
Closes #2980
This commit is contained in:
chriseth
2025-08-05 18:18:53 +02:00
committed by GitHub
parent f22419f7af
commit 648b308e9c
2 changed files with 0 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
constraint-solver/src/indexed_constraint_system.rs
View File

@@ -295,17 +295,6 @@ impl<T: RuntimeConstant + Substitutable<V>, V: Clone + Hash + Ord + Eq>
}
}
pub fn apply_bus_field_assignment(
&mut self,
interaction_index: usize,
field_index: usize,
value: T::FieldType,
) {
let bus_interaction = &mut self.constraint_system.bus_interactions[interaction_index];
let field = bus_interaction.fields_mut().nth(field_index).unwrap();
*field = GroupedExpression::from_number(value);
}
/// Substitute an unknown variable by a GroupedExpression in the whole system.
///
/// Note this does NOT work properly if the variable is used inside a

11
constraint-solver/src/journaling_constraint_system.rs
View File

@@ -51,17 +51,6 @@ impl<T: RuntimeConstant, V: Hash + Clone + Eq> JournalingConstraintSystem<T, V>
impl<T: RuntimeConstant + Substitutable<V>, V: Ord + Clone + Eq + Hash + Display>
JournalingConstraintSystem<T, V>
{
pub fn apply_bus_field_assignments(
&mut self,
assignments: impl IntoIterator<Item = ((usize, usize), T::FieldType)>,
) {
// We do not track substitutions yet, but we could.
for ((interaction_index, field_index), value) in assignments {
self.system
.apply_bus_field_assignment(interaction_index, field_index, value);
}
}
/// Applies multiple substitutions to the constraint system in an efficient manner.
pub fn apply_substitutions(
&mut self,