File tree Expand file tree Collapse file tree 1 file changed +20
-0
lines changed Expand file tree Collapse file tree 1 file changed +20
-0
lines changed Original file line number Diff line number Diff line change @@ -1785,6 +1785,16 @@ class sva_sequence_throughout_exprt : public binary_exprt
1785
1785
: binary_exprt(std::move(op0), ID_sva_sequence_throughout, std::move(op1))
1786
1786
{
1787
1787
}
1788
+
1789
+ const exprt &sequence () const
1790
+ {
1791
+ return op1 ();
1792
+ }
1793
+
1794
+ exprt &sequence ()
1795
+ {
1796
+ return op1 ();
1797
+ }
1788
1798
};
1789
1799
1790
1800
static inline const sva_sequence_throughout_exprt &
@@ -1819,6 +1829,16 @@ class sva_sequence_first_match_exprt : public binary_exprt
1819
1829
std::move(action))
1820
1830
{
1821
1831
}
1832
+
1833
+ const exprt &sequence () const
1834
+ {
1835
+ return op0 ();
1836
+ }
1837
+
1838
+ exprt &sequence ()
1839
+ {
1840
+ return op0 ();
1841
+ }
1822
1842
};
1823
1843
1824
1844
static inline const sva_sequence_first_match_exprt &
You can’t perform that action at this time.
0 commit comments