| Package | Description |
|---|---|
| mx.unam.iimas.griffin.bdd |
Classes for interfacing with Binary Decision Diagrams Libraries
Currently supporting java beedeedee package only.
|
| mx.unam.iimas.griffin.graph |
Classes for Graph representations
|
| mx.unam.iimas.griffin.grn |
Core Classes for Gene Regulatory Networks
|
| mx.unam.iimas.griffin.grn.code |
Classes for encoding and decoding queries
|
| mx.unam.iimas.griffin.grn.code.analysis |
Classes for analyzing network dynamics
|
| mx.unam.iimas.griffin.grn.experiment |
Examples of programmatic queries
|
| mx.unam.iimas.griffin.grn.explorer |
Main class and input query specification
|
| mx.unam.iimas.griffin.grn.explorer.attractor | |
| mx.unam.iimas.griffin.grn.explorer.io |
Auxiliary classes for parsing queries
|
| mx.unam.iimas.griffin.grn.explorer.topology |
Classes for topology (network structure) queries
|
| mx.unam.iimas.griffin.grn.explorer.util |
Auxiliary classes
Currently supporting java beedeedee package only:
|
| mx.unam.iimas.griffin.grn.models |
Some examples of programmatically specified models
|
| mx.unam.iimas.griffin.grn.models.epistasis |
Classes epistasis experiments
|
| mx.unam.iimas.griffin.grn.util |
Miscelaneous symbolic algorithms
|
| mx.unam.iimas.griffin.logic |
Classes for Boolean expression representations
|
| mx.unam.iimas.griffin.logic.implicants |
Classes for Prime Implicants Analysis
|
| mx.unam.iimas.griffin.logic.implicants.util |
Util classes for prime implicants
|
| mx.unam.iimas.griffin.logic.parser |
Classes for parsing Boolean expressions
|
| mx.unam.iimas.griffin.logic.util |
Auxiliary classes for interacting with tree formulas
|
| mx.unam.iimas.griffin.math | |
| mx.unam.iimas.griffin.sat |
Classes for interfacing with SAT engines
Currently only sat4j is supported
|
| mx.unam.iimas.griffin.util |
Classes for interacting with satisfying assignments
|