Check if s contains t.
(s: StringRef | SeqRef, t: StringRef | SeqRef)
| 2292 | |
| 2293 | |
| 2294 | def Contains(s: StringRef | SeqRef, t: StringRef | SeqRef) -> BoolRef: |
| 2295 | """Check if s contains t.""" |
| 2296 | if isinstance(s, SeqRef) or isinstance(t, SeqRef): |
| 2297 | return BoolRef(SeqContainsNode(s._ast, t._ast), _merge(s._vars, t._vars)) |
| 2298 | return BoolRef(StrContainsNode(s._ast, t._ast), _merge(s._vars, t._vars)) |
| 2299 | |
| 2300 | |
| 2301 | def PrefixOf(pre: StringRef | SeqRef, s: StringRef | SeqRef) -> BoolRef: |