next up previous
Next: Syntactical Checks Up: COBA 2.0 Manual Previous: Encoding Input Files

Input Checks

COBA 2.0 performs both syntactical and consistency checks on all input formulas. The former checks are always enforced, while the latter checks are optional but carried out by default.



Subsections

Daphne Liu 2006-01-23