search

BoiseState-AdaptLab / IEGenLib

Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BSD 2-Clause "Simplified" License
2 stars 4 forks source link

Padding #59

Open tpops opened 3 years ago

tpops commented 3 years ago

Overview

Padding should add zeros to the end of the tuple declaration of a set up to the desired arity. Unit tests should be creat first for the desired outcome.

Signature

 Set* iegen::Set::pad(int desiredArity)

Testing

This functionality should be tested and unit tests should be added to src/set_relation_test.c

Example test case. pad({[i]: 0 <= i < N},5) = {[i,0,0,0,0]:0 <= i < N}

Aaron3154518 commented 3 years ago

Padding implemented in commit 24c0eadded64e34613be1c0a4207110a44574a0e (Didn't tag this issue though) Still need unittests

Aaron3154518 commented 3 years ago

Implemented in #101