static HPre.HEq<HPre.HZero,HPre.HZero,HPre.HTrue> |
HPre.HEq.eq(HPre.HZero a,
HPre.HZero b) |
Zero is equal to itself.
|
static HPre.HAnd<HPre.HFalse,HPre.HTrue,HPre.HFalse> |
HPre.HAnd.hAnd(HPre.HFalse a,
HPre.HTrue b) |
|
static HPre.HAnd<HPre.HTrue,HPre.HFalse,HPre.HFalse> |
HPre.HAnd.hAnd(HPre.HTrue a,
HPre.HFalse b) |
|
static HPre.HAnd<HPre.HTrue,HPre.HTrue,HPre.HTrue> |
HPre.HAnd.hAnd(HPre.HTrue a,
HPre.HTrue b) |
|
static HPre.HAnd<HPre.HTrue,HPre.HTrue,HPre.HTrue> |
HPre.HAnd.hAnd(HPre.HTrue a,
HPre.HTrue b) |
|
static HPre.HAnd<HPre.HTrue,HPre.HTrue,HPre.HTrue> |
HPre.HAnd.hAnd(HPre.HTrue a,
HPre.HTrue b) |
|
static <X,Y> HPre.HCond<HPre.HTrue,X,Y,X> |
HPre.HCond.hCond(HPre.HTrue t,
X x,
Y y) |
|
static HPre.HOr<HPre.HFalse,HPre.HTrue,HPre.HTrue> |
HPre.HOr.hOr(HPre.HFalse a,
HPre.HTrue b) |
|
static HPre.HOr<HPre.HFalse,HPre.HTrue,HPre.HTrue> |
HPre.HOr.hOr(HPre.HFalse a,
HPre.HTrue b) |
|
static HPre.HOr<HPre.HTrue,HPre.HFalse,HPre.HTrue> |
HPre.HOr.hOr(HPre.HTrue a,
HPre.HFalse b) |
|
static HPre.HOr<HPre.HTrue,HPre.HFalse,HPre.HTrue> |
HPre.HOr.hOr(HPre.HTrue a,
HPre.HFalse b) |
|
static HPre.HOr<HPre.HTrue,HPre.HTrue,HPre.HTrue> |
HPre.HOr.hOr(HPre.HTrue a,
HPre.HTrue b) |
|
static HPre.HOr<HPre.HTrue,HPre.HTrue,HPre.HTrue> |
HPre.HOr.hOr(HPre.HTrue a,
HPre.HTrue b) |
|
static HPre.HOr<HPre.HTrue,HPre.HTrue,HPre.HTrue> |
HPre.HOr.hOr(HPre.HTrue a,
HPre.HTrue b) |
|