Interprete di vincoli VNNLIB per verificatore di reti neurali pyNeVer

Abstract

Interprete per vincoli testuali in formato VNNLIB. Il programma prende in input un file testuale. Il tokenizer trasforma il testo in token (se appartenenti al linguaggio). Il vettore di token viene passato al parser, che fa analisi sintattica e genera un vettore di nodi. I nodi possono avere al loro interno degli altri nodi in modo ricorsivo (operazione con operandi altre operazioni). Il visitor infine scorre il vettore di nodi e genera le matrici dei coefficienti corrispondenti per input e output. L'output del programma sono le matrici.

VNNLIB textual constraint interpreter. The program takes as input a text file. The tokenizer generates a token vector based on the text (throws exception if token is not recognized) The token vector is passed to the parser, which does syntactic analysis and generates a vector of nodes. The nodes can include other nodes recursively (e.g. operation with other operations as operands). The visitor finally iterates the vector of nodes and generates the corresponding coefficient matrices for input and output. The program's output are the matrices