re_diff

aws_smt_strings::smt_regular_expressions

Function re_diff 

Source 
pub fn re_diff(r1: RegLan, r2: RegLan) -> RegLan
Expand description

Difference of two regular expressions

ยงExample

use aws_smt_strings::smt_regular_expressions::*;

let r1 = re_all();
let r2 = re_concat(re_allchar(), re_allchar());
let r = re_diff(r1, r2);
assert!(str_in_re(&"X".into(), r));
assert!(str_in_re(&"XYZ".into(), r));