R/parser.R
parse_implication.Rd
Parses a string into an implication
parse_implication(string, attributes)
(character) The string to be parsed
(character vector) The attributes' names
Two vectors as sparse matrices representing the LHS and RHS of the implication