extract_symbols

logicaffeine_language::symbol_dict

Function extract_symbols 

Source 
pub fn extract_symbols(logic: &str) -> Vec<SymbolEntry>
Expand description

Extract symbols from a FOL logic string