unchecked in making the rank table

This commit is contained in:
Folkert 2022-05-20 23:28:56 +02:00
parent e20ac3f38f
commit a705d6a6e8
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
2 changed files with 7 additions and 2 deletions

View file

@ -118,6 +118,7 @@ impl UnificationTable {
self.marks[key.index() as usize]
}
#[allow(unused)]
#[inline(always)]
pub fn get_copy_unchecked(&self, key: Variable) -> OptVariable {
self.copies[key.index() as usize]
@ -163,11 +164,13 @@ impl UnificationTable {
self.marks[key.index() as usize] = value;
}
#[allow(unused)]
#[inline(always)]
pub fn set_copy_unchecked(&mut self, key: Variable, value: OptVariable) {
self.copies[key.index() as usize] = value;
}
#[allow(unused)]
#[inline(always)]
pub fn set_content_unchecked(&mut self, key: Variable, value: Content) {
self.contents[key.index() as usize] = value;