update version

Author: Alexandre van Beurden

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "regexsolver"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 authors = ["Alexandre van Beurden"]
 repository = "https://github.com/RegexSolver/regexsolver"

README.md

@@ -12,3 +12,24 @@ Add the following line in your `Cargo.toml`:
 [dependencies]
 regexsolver = "0.1"
 ```
+
+## Examples
+
+```rust
+use regexsolver::{intersection, regex::RegularExpression, subtraction, Term};
+
+
+let term1 = Term::RegularExpression(RegularExpression::new("(abc|de|fg){2,}").unwrap());
+let term2 = Term::RegularExpression(RegularExpression::new("de.*").unwrap());
+let term3 = Term::RegularExpression(RegularExpression::new(".*abc").unwrap());
+
+let term4 = Term::RegularExpression(RegularExpression::new(".+(abc|de).+").unwrap());
+
+let intersection = intersection(&[term1, term2, term3]).unwrap();
+
+let result = subtraction(&intersection, &term4).unwrap();
+
+if let Term::RegularExpression(regex) = result {
+    println!("result={}", regex); // result=de(fg)*abc
+}
+```

tests/integration_tests.rs

@@ -1,4 +1,7 @@
-use std::{fs::File, io::{BufRead, BufReader}};
+use std::{
+    fs::File,
+    io::{BufRead, BufReader},
+};
 
 use regex::Regex;
 use regexsolver::regex::RegularExpression;
@@ -13,7 +16,10 @@ fn assert_regex(regex: &str) {
         assert!(re.is_match(&string), "'{string}'");
     }
 
-    assert_eq!(automaton.get_number_of_states(), regex.get_number_of_states_in_nfa());
+    assert_eq!(
+        automaton.get_number_of_states(),
+        regex.get_number_of_states_in_nfa()
+    );
 
     let determinized_automaton = automaton.determinize().unwrap();
     let strings = determinized_automaton.generate_strings(500).unwrap();