beautify_rule {genscore}

Replaces consecutive "&"s and "|"s in a string to a single & and |.

Description

Replaces consecutive "&"s and "|"s in a string to a single "&" and "|".

Usage

beautify_rule(rule)

Arguments

rule

A string containing positive integers, parentheses, and "&" and "|" only.

Details

Applied to domain$rule if domain$type == "polynomial".

Value

A string with extra "&"s and "|"s removed.

Examples

beautify_rule("(1 & 2 && 3 &&& 4) | 5 || 6 ||| 7")