ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
re.py File Reference

Namespaces

namespace  re

Functions

int re.try_match_char_class_range (str pattern, int pattern_len, str string, bool prefix_only=False)
int re.try_match_digit_sequence (str pattern, int pattern_len, str string, bool prefix_only=False)
int re.try_match_alternation (str pattern, int pattern_len, str string)
int re.try_match_two_char_class_range (str pattern, int pattern_len, str string)
int re.try_match_dot_literal (str pattern, int pattern_len, str string)
int re._flag_mode (str pattern, int flags)
bool re.match (str pattern, str string)
bool re.search (str pattern, str string)
int re._digit_prefix_len (str string, int string_len)
bool re._is_paren_digit_plus (str pattern, int pattern_len)
str re._group (str pattern, str string, int n)
tuple re._groups (str pattern, str string)
tuple re._span (str pattern, str string, int n)
bool re.fullmatch (str pattern, str string)
bool re._match_flags (str pattern, str string, int flags)
bool re._search_flags (str pattern, str string, int flags)
bool re._fullmatch_flags (str pattern, str string, int flags)

Variables

int re.IGNORECASE = 2
int re.I = 2
int re.MULTILINE = 8
int re.M = 8
int re.DOTALL = 16
int re.S = 16
int re.UNICODE = 32
int re.U = 32
int re.VERBOSE = 64
int re.X = 64
int re.ASCII = 256
int re.A = 256