In file hl.h:(HL_FORMULA_t* leftExp,
HL_FORMULA_t* rightExp)
Create an conjunctive formula alpha and beta
.
Documentation
Create an conjunctive formula alpha and beta
.
- Parameters:
- - leftExp the formula corresponding to alpha
- rightExp the formula corresponding to beta
- Returns:
- the new HL formula or
NULL
if given subformulas belong to
different KS
Alphabetic index
This page was generated with the help of DOC++.