Table of Contents

Name

lic - Rapid Prototyping System for Code Generation and Matrix and Linear Inequality Calculator

Synopsis

lic -c|-m [-h] [ < scriptfile]

Description

The standalone Linear Inequality Calculator program LIC, takes input from a command line or a script file and interactively performs linear inequality and matrix operations. LIC can be operated in two modes, as a matrix and linear inequality calculator or a rapid prototyping system for code generation.

The rapid prototyping system for code generation mode is exclusively designed for prototyping algorithms used for code generation. It uses the Library of Linear Inequalities with Symbolic Coefficients (See Matrix library refer_ence manual ) as the underline primitives and provides a simple interface to enter inequalities for loop bounds and array access functions etc.

In matrix and linear inequality calculator mode, many matrix and linear inequality functions defined in Matrix Library and Linear Inequality Library (See Matrix library reference manual ) can be used to manipulate matrices and systems of linear inequalities.

Options

-c
Rapid prototyping system for code generation.
-m
Matrix and linear inequality calculator.
-h
Online help page.

See Also

LIC: The linear inequality calculator reference manual in the suif documentation set.

History

Developed by Saman Amarasinghe.


Table of Contents