veripb_parser/
assignment_token.rs

1use logos::Logos;
2
3#[derive(Debug, Logos, PartialEq, Eq)]
4#[logos(skip r"[ \t\r\n]")]
5pub enum AssignmentToken {
6    // Positive literal in OPB format.
7    #[regex("[a-zA-Z_][_a-zA-Z0-9\\-\\^\\[\\]\\{\\}]+")]
8    PositiveVar,
9
10    // Negative literal in OPB format.
11    #[regex("~[a-zA-Z_][_a-zA-Z0-9\\-\\^\\[\\]\\{\\}]+")]
12    NegativeVar,
13}