agent_logic.parsing.token_parser

Classes

Tokenizer()

Lexical analyzer for tokenizing logical expressions.
class agent_logic.parsing.token_parser.Tokenizer[source]

Bases: object

Lexical analyzer for tokenizing logical expressions.

TOKEN_MAP = {'AND': '\\∧|\\bAND\\b', 'EXISTS': '∃|\\bEXISTS\\b', 'FORALL': '∀|\\bFORALL\\b', 'IFF': '↔|\\bIFF\\b', 'IMPLIES': '→|\\bIMPLIES\\b', 'LPAREN': '\\(', 'NOT': '¬|\\bNOT\\b', 'OR': '\\∨|\\bOR\\b', 'RPAREN': '\\)', 'VAR': '[a-zA-Z][a-zA-Z0-9_]*'}
static tokenize(expression)[source]

Tokenizes a logical expression into components.

Return type:

List[str]

Parameters:

expression (str)

static validate_syntax(tokens)[source]

Performs basic syntax validation.

Return type:

bool

Parameters:

tokens (List[str])