|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use edu.toronto.cs.algebra | |
---|---|
edu.toronto.cs.algebra | De Morgan algebra library. |
edu.toronto.cs.ctl | CTL Abstract Syntax Tree |
edu.toronto.cs.cudd | Hand-crafted CUDD wrapper for Java |
edu.toronto.cs.gclang.parser | ANTLR parser for GCLang |
edu.toronto.cs.mdd | A library for Multi-valued Decision Diagrams (MDDs). |
edu.toronto.cs.modelchecker | Basic CTL model-checking engine based on MvSet |
edu.toronto.cs.mvset | Provides several symbolic implementations of multi-valued sets |
edu.toronto.cs.proof | Provides classes for representing, manipulating, and constructing proofs for CTL formulas (OLD) |
edu.toronto.cs.proof2 | Provides classes for representing, manipulating, and constructing proofs for CTL formulas (NEW) |
edu.toronto.cs.simulator | A model simulator for XChek (Victor). |
edu.toronto.cs.smv | Provides classes to represent SMV models |
edu.toronto.cs.smv.parser | ANTLR parsers for SMV models |
edu.toronto.cs.tlq | Classes used by TLQSolver extension of XChek |
edu.toronto.cs.xkripke | Classes to represent, manipulate, and parse XML representation of XKripke structures. |
Classes in edu.toronto.cs.algebra used by edu.toronto.cs.algebra | |
---|---|
AbstractTableAlgebra
Implementation of a lattice that sorts its elements in topological order and builds a join table following the algorithms in Free Lattices by Ralph Freese author: Arie Gurfinkel arie@cs.toronto.edu /**** Implements all kinds of (partially) ordered set operations namely: topological sorting and computing a join table |
|
AlgebraValue
A lattice value |
|
BelnapAlgebra
|
|
DeMorganAlgebra
|
|
DeMorganTableAlgebra
|
|
IAlgebra
|
|
IntAlgebraWrapper
Provides an int based wrapper methods to IAlgebra so that it can be used with C programs. |
|
MinUpSet
an upset represented by its minimal elements |
Classes in edu.toronto.cs.algebra used by edu.toronto.cs.ctl | |
---|---|
AlgebraValue
A lattice value |
Classes in edu.toronto.cs.algebra used by edu.toronto.cs.cudd | |
---|---|
IAlgebra
|
Classes in edu.toronto.cs.algebra used by edu.toronto.cs.gclang.parser | |
---|---|
AlgebraValue
A lattice value |
|
IAlgebra
|
Classes in edu.toronto.cs.algebra used by edu.toronto.cs.mdd | |
---|---|
BelnapAlgebra
|
|
IAlgebra
|
Classes in edu.toronto.cs.algebra used by edu.toronto.cs.modelchecker | |
---|---|
AlgebraValue
A lattice value |
|
IAlgebra
|
Classes in edu.toronto.cs.algebra used by edu.toronto.cs.mvset | |
---|---|
AlgebraValue
A lattice value |
|
IAlgebra
|
Classes in edu.toronto.cs.algebra used by edu.toronto.cs.proof | |
---|---|
AlgebraValue
A lattice value |
|
IAlgebra
|
Classes in edu.toronto.cs.algebra used by edu.toronto.cs.proof2 | |
---|---|
AlgebraValue
A lattice value |
Classes in edu.toronto.cs.algebra used by edu.toronto.cs.simulator | |
---|---|
IAlgebra
|
Classes in edu.toronto.cs.algebra used by edu.toronto.cs.smv | |
---|---|
AlgebraValue
A lattice value |
|
IAlgebra
|
Classes in edu.toronto.cs.algebra used by edu.toronto.cs.smv.parser | |
---|---|
IAlgebra
|
Classes in edu.toronto.cs.algebra used by edu.toronto.cs.tlq | |
---|---|
AlgebraValue
A lattice value |
|
DeMorganAlgebra
|
|
IAlgebra
|
|
MinUpSet
an upset represented by its minimal elements |
Classes in edu.toronto.cs.algebra used by edu.toronto.cs.xkripke | |
---|---|
IAlgebra
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |