Bool

Definitions

def <==>(x: Bool, y: Bool): BoolSource

Returns true if x implies y and vise versa.

def ==>(x: Bool, y: Bool): BoolSource

Returns true if x implies y logically holds.

def and(x: Bool, y: Lazy[Bool]): BoolSource

Logical and.

def not(x: Bool): BoolSource

Negation of x

def or(x: Bool, y: Lazy[Bool]): BoolSource

Logical or.

def (x: Bool, y: Bool): BoolSource

Alias for logical implication.

def (x: Bool, y: Bool): BoolSource

Alias for logical bi-implication.

def (x: Bool, y: Bool): BoolSource

Alias for logical conjunction.

def (x: Bool, y: Bool): BoolSource

Alias for logical disjunction.

def (x: Bool, y: Bool): BoolSource

Alias for exclusive or.