mpacts.predicates. shortened_predicates

In order to be able to use this module import it like this:

import mpacts.predicates.shortened_predicates
#or assign it to a shorter name
import mpacts.predicates.shortened_predicates as sho
mpacts.predicates.shortened_predicates.AND(p1, p2, do=None, signal=False)
mpacts.predicates.shortened_predicates.NOT(p1, do=None)
mpacts.predicates.shortened_predicates.OR(p1, p2, do=None, signal=False)
mpacts.predicates.shortened_predicates.XOR(p1, p2, do=None)