In file hl.h:

HL_FORMULA_t* HL_FORMULA_newAnd

(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++.