|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IAlgebra | |
---|---|
edu.toronto.cs.algebra | De Morgan algebra library. |
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.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. |
Uses of IAlgebra in edu.toronto.cs.algebra |
---|
Subinterfaces of IAlgebra in edu.toronto.cs.algebra | |
---|---|
interface |
DeMorganAlgebra
|
Classes in edu.toronto.cs.algebra that implement IAlgebra | |
---|---|
class |
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 |
class |
BelnapAlgebra
|
class |
DeMorganTableAlgebra
|
class |
TwoValAlgebra
|
Methods in edu.toronto.cs.algebra that return IAlgebra | |
---|---|
IAlgebra |
IntAlgebraWrapper.getAlgebra()
|
static IAlgebra |
AlgebraCatalog.getAlgebra(java.lang.String tag)
|
IAlgebra |
AlgebraValue.getParentAlgebra()
|
Methods in edu.toronto.cs.algebra with parameters of type IAlgebra | |
---|---|
static java.lang.String |
AlgebraCatalog.getAlgebraTag(IAlgebra algebra)
|
static AlgebraValue[] |
AlgebraValue.newVector(IAlgebra pa,
int l)
|
static void |
AlgebraCatalog.registerAlgebra(java.lang.String tag,
IAlgebra algebra)
|
Constructors in edu.toronto.cs.algebra with parameters of type IAlgebra | |
---|---|
AlgebraValue(IAlgebra _parentAlgebra,
java.lang.String _name,
int _id)
|
|
IntAlgebraWrapper(IAlgebra _algebra)
|
Uses of IAlgebra in edu.toronto.cs.cudd |
---|
Methods in edu.toronto.cs.cudd that return IAlgebra | |
---|---|
IAlgebra |
CuddAdd.getAlgebra()
|
Constructors in edu.toronto.cs.cudd with parameters of type IAlgebra | |
---|---|
CuddAdd(int nvars,
IAlgebra _algebra)
Creates a new CuddAdd instance. |
Uses of IAlgebra in edu.toronto.cs.gclang.parser |
---|
Methods in edu.toronto.cs.gclang.parser that return IAlgebra | |
---|---|
IAlgebra |
GCLangCompiler.getAlgebra()
|
Methods in edu.toronto.cs.gclang.parser with parameters of type IAlgebra | |
---|---|
void |
GCLangCompiler.setAlgebra(IAlgebra v)
|
Uses of IAlgebra in edu.toronto.cs.mdd |
---|
Constructors in edu.toronto.cs.mdd with parameters of type IAlgebra | |
---|---|
ApplyFunctions.AboveFunction(MDDManager mddMgr,
IAlgebra algebra)
|
|
ApplyFunctions.AlgebraFunction(MDDManager mddMgr,
IAlgebra _algebra)
|
|
ApplyFunctions.BelowFunction(MDDManager mddMgr,
IAlgebra algebra)
|
|
ApplyFunctions.EqualsFunction(MDDManager mddMgr,
IAlgebra algebra)
|
|
ApplyFunctions.ImpliesFunction(MDDManager mddMgr,
IAlgebra algebra)
|
|
ApplyFunctions.JoinFunction(MDDManager mddMgr,
IAlgebra algebra)
|
|
ApplyFunctions.MeetFunction(MDDManager mddMgr,
IAlgebra algebra)
|
|
ApplyFunctions.NegFunction(MDDManager _mddMgr,
IAlgebra _algebra)
|
Uses of IAlgebra in edu.toronto.cs.modelchecker |
---|
Methods in edu.toronto.cs.modelchecker that return IAlgebra | |
---|---|
IAlgebra |
XKripkeStructure.getAlgebra()
|
Constructors in edu.toronto.cs.modelchecker with parameters of type IAlgebra | |
---|---|
XKripkeStructure(MvRelation _trans,
MvSet _init,
int[] _prime,
MvSet _primeCube,
MvSet _unPrimeCube,
java.lang.String[] _varNames,
IAlgebra _algebra,
int _numDDVars,
int _numVars,
CTLReWriter _rewriter,
StatePresenter _statePresenter)
|
|
XKripkeStructure(MvRelation _trans,
MvSet _init,
int[] _prime,
MvSet _primeCube,
MvSet _unPrimeCube,
java.lang.String[] _varNames,
IAlgebra _algebra,
int _numDDVars,
int _numVars,
CTLReWriter _rewriter,
StatePresenter _statePresenter,
java.lang.String _name)
|
Uses of IAlgebra in edu.toronto.cs.mvset |
---|
Methods in edu.toronto.cs.mvset that return IAlgebra | |
---|---|
IAlgebra |
JCUDDMvSetFactory.JCUDDMvSet.getAlgebra()
get the lattice for the MvSet |
IAlgebra |
MvSetFactory.getAlgebra()
Gets the lattice for this factory. |
IAlgebra |
JCUDDBelnapMvSetFactory.JCUDDBelnapMvSet.getAlgebra()
get the lattice for the MvSet |
IAlgebra |
MDDMvSetFactory.MDDMvSet.getAlgebra()
get the lattice for the MvSet |
IAlgebra |
JADDMvSetFactory.JADDMvSet.getAlgebra()
get the lattice for the MvSet |
IAlgebra |
MvSet.getAlgebra()
gets the lattice for the MvSet |
IAlgebra |
CUADDMvSetFactory.CUADDMvSet.getAlgebra()
get the lattice for the MvSet |
IAlgebra |
AbstractMvSetFactory.getAlgebra()
|
Methods in edu.toronto.cs.mvset with parameters of type IAlgebra | |
---|---|
static MvSetFactory |
JCUDDMvSetFactory.newMvSetFactory(IAlgebra algebra,
int nvars)
|
static MvSetFactory |
JCUDDBelnapMvSetFactory.newMvSetFactory(IAlgebra algebra,
int nvars)
|
static MvSetFactory |
MDDMvSetFactory.newMvSetFactory(IAlgebra algebra,
int nvars)
|
static MvSetFactory |
JADDMvSetFactory.newMvSetFactory(IAlgebra algebra,
int nvars)
|
static MvSetFactory |
CUADDMvSetFactory.newMvSetFactory(IAlgebra algebra,
int nvars)
|
Constructors in edu.toronto.cs.mvset with parameters of type IAlgebra | |
---|---|
AbstractMvSetFactory(IAlgebra _algebra)
|
|
CUADDMvSetFactory(IAlgebra _algebra,
int nvars)
|
|
JADDMvSetFactory(IAlgebra _algebra,
int nvars)
|
|
JADDMvSetFactory(IAlgebra _algebra,
MDDManager _mddManager)
|
|
JCUDDBelnapMvSetFactory(IAlgebra _algebra,
int nvars)
|
|
JCUDDMvSetFactory(IAlgebra _algebra,
int nvars)
|
|
MDDMvSetFactory(IAlgebra _algebra,
int nvars)
|
|
MDDMvSetFactory(IAlgebra _algebra,
MDDManager _mddManager)
|
Uses of IAlgebra in edu.toronto.cs.proof |
---|
Methods in edu.toronto.cs.proof with parameters of type IAlgebra | |
---|---|
static void |
ProofStrategyCatalog.registerStrategy(java.lang.String tag,
IAlgebra alg,
java.lang.Class clazz)
|
Constructors in edu.toronto.cs.proof with parameters of type IAlgebra | |
---|---|
GenericDisjStrategy(IAlgebra _alg)
|
Uses of IAlgebra in edu.toronto.cs.simulator |
---|
Methods in edu.toronto.cs.simulator that return IAlgebra | |
---|---|
IAlgebra |
XCTraceTree.getAlgebra()
Gets the algebra used by states in the trace. |
Constructors in edu.toronto.cs.simulator with parameters of type IAlgebra | |
---|---|
XCSimulator(IAlgebra al,
java.lang.String s)
|
Uses of IAlgebra in edu.toronto.cs.smv |
---|
Methods in edu.toronto.cs.smv that return IAlgebra | |
---|---|
IAlgebra |
SMVModule.getAlgebra()
|
Methods in edu.toronto.cs.smv with parameters of type IAlgebra | |
---|---|
void |
SMVModule.setAlgebra(IAlgebra v)
|
void |
LiftAbstract.setAlgebra(IAlgebra algebra)
|
Uses of IAlgebra in edu.toronto.cs.smv.parser |
---|
Methods in edu.toronto.cs.smv.parser that return IAlgebra | |
---|---|
IAlgebra |
SmvCompiler.getAlgebra()
|
IAlgebra |
FlatSmvCompiler.getAlgebra()
|
Methods in edu.toronto.cs.smv.parser with parameters of type IAlgebra | |
---|---|
void |
SmvCompiler.setAlgebra(IAlgebra v)
|
void |
FlatSmvCompiler.setAlgebra(IAlgebra v)
|
Constructors in edu.toronto.cs.smv.parser with parameters of type IAlgebra | |
---|---|
DDBuilder(java.lang.Class _mvSetFactoryClass,
IAlgebra _alg)
|
Uses of IAlgebra in edu.toronto.cs.tlq |
---|
Classes in edu.toronto.cs.tlq that implement IAlgebra | |
---|---|
class |
MvSetCrossProductAlgebra
|
class |
MvSetUpsetAlgebra
|
class |
UpSetAlgebra
class UpSetAlgebra represents a large lattice of upsets
Each element is encoded as an ordered list of integers, each integer
corresponding to a minimal element of some lattice. |
Uses of IAlgebra in edu.toronto.cs.xkripke |
---|
Methods in edu.toronto.cs.xkripke that return IAlgebra | |
---|---|
IAlgebra |
XKripke.getAlgebra()
|
Methods in edu.toronto.cs.xkripke with parameters of type IAlgebra | |
---|---|
static MvSet |
XKripkeMvSetBuilder.buildTransition(MvSetFactory mvSetFactory,
IAlgebra algebra,
XKripke.XKripkeTransition trans,
VariableTable vt)
|
void |
XKripke.setAlgebra(IAlgebra v)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |