Uses of Class
edu.toronto.cs.algebra.AlgebraValue

Packages that use AlgebraValue
edu.toronto.cs.algebra   
edu.toronto.cs.boolpg.parser   
edu.toronto.cs.cfa   
edu.toronto.cs.ctl   
edu.toronto.cs.gclang.parser   
edu.toronto.cs.modelchecker   
edu.toronto.cs.mvset   
edu.toronto.cs.proof2   
edu.toronto.cs.tlq   
edu.toronto.cs.yasm   
edu.toronto.cs.yasm.pprogram   
edu.toronto.cs.yasm.trace   
 

Uses of AlgebraValue in edu.toronto.cs.algebra
 

Methods in edu.toronto.cs.algebra that return AlgebraValue
 AlgebraValue AbstractTableAlgebra.bot()
           
 AlgebraValue BelnapAlgebra.bot()
           
 AlgebraValue IAlgebra.bot()
           
 AlgebraValue TwoValAlgebra.bot()
           
static AlgebraValue[] AlgebraValue.delta(AlgebraValue[] x, AlgebraValue[] y)
           
 AlgebraValue AlgebraValue.eq(AlgebraValue v)
           
 AlgebraValue AbstractTableAlgebra.eq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.eq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue IAlgebra.eq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue TwoValAlgebra.eq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue AlgebraValue.geq(AlgebraValue v)
           
 AlgebraValue AbstractTableAlgebra.geq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.geq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue IAlgebra.geq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue TwoValAlgebra.geq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue AbstractTableAlgebra.getValue(int id)
           
 AlgebraValue BelnapAlgebra.getValue(int id)
           
 AlgebraValue IAlgebra.getValue(int id)
           
 AlgebraValue TwoValAlgebra.getValue(int id)
           
 AlgebraValue AbstractTableAlgebra.getValue(java.lang.String name)
          Lattice Interface
 AlgebraValue BelnapAlgebra.getValue(java.lang.String name)
           
 AlgebraValue IAlgebra.getValue(java.lang.String name)
           
 AlgebraValue TwoValAlgebra.getValue(java.lang.String name)
          IAlgebra interface
 AlgebraValue AlgebraValue.impl(AlgebraValue v)
           
abstract  AlgebraValue AbstractTableAlgebra.impl(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.impl(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue DeMorganTableAlgebra.impl(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue IAlgebra.impl(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue TwoValAlgebra.impl(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.infoBot()
           
 AlgebraValue BelnapAlgebra.infoJoin(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.infoMeet(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.infoNeg(AlgebraValue v1)
           
 AlgebraValue BelnapAlgebra.infoTop()
           
 AlgebraValue AlgebraValue.join(AlgebraValue v)
           
 AlgebraValue AbstractTableAlgebra.join(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.join(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue IAlgebra.join(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue TwoValAlgebra.join(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue[] AlgebraValue.joinDecomposition()
           
 AlgebraValue[] AbstractTableAlgebra.joinDecomposition(AlgebraValue v)
           
 AlgebraValue[] BelnapAlgebra.joinDecomposition(AlgebraValue v)
           
 AlgebraValue[] IAlgebra.joinDecomposition(AlgebraValue v)
           
 AlgebraValue[] TwoValAlgebra.joinDecomposition(AlgebraValue v)
           
 AlgebraValue AlgebraValue.leq(AlgebraValue v)
           
 AlgebraValue AbstractTableAlgebra.leq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.leq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue IAlgebra.leq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue TwoValAlgebra.leq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue AlgebraValue.meet(AlgebraValue v)
           
 AlgebraValue AbstractTableAlgebra.meet(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.meet(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue IAlgebra.meet(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue TwoValAlgebra.meet(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue AlgebraValue.neg()
           
abstract  AlgebraValue AbstractTableAlgebra.neg(AlgebraValue v)
           
 AlgebraValue BelnapAlgebra.neg(AlgebraValue v)
           
 AlgebraValue DeMorganTableAlgebra.neg(AlgebraValue v)
           
 AlgebraValue IAlgebra.neg(AlgebraValue v)
           
 AlgebraValue TwoValAlgebra.neg(AlgebraValue v)
           
static AlgebraValue[] AlgebraValue.newVector(IAlgebra pa, int l)
           
 AlgebraValue AbstractTableAlgebra.noValue()
           
 AlgebraValue BelnapAlgebra.noValue()
           
 AlgebraValue IAlgebra.noValue()
           
 AlgebraValue TwoValAlgebra.noValue()
           
static AlgebraValue[] AlgebraValue.renameArgs(AlgebraValue[] v, int[] rmap)
           
 AlgebraValue AbstractTableAlgebra.top()
           
 AlgebraValue BelnapAlgebra.top()
           
 AlgebraValue IAlgebra.top()
           
 AlgebraValue TwoValAlgebra.top()
           
 

Methods in edu.toronto.cs.algebra with parameters of type AlgebraValue
 boolean MinUpSet.add(AlgebraValue v)
          Adds a single AlgebraValue
static AlgebraValue[] AlgebraValue.delta(AlgebraValue[] x, AlgebraValue[] y)
           
static AlgebraValue[] AlgebraValue.delta(AlgebraValue[] x, AlgebraValue[] y)
           
 AlgebraValue AlgebraValue.eq(AlgebraValue v)
           
 AlgebraValue AbstractTableAlgebra.eq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.eq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue IAlgebra.eq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue TwoValAlgebra.eq(AlgebraValue v1, AlgebraValue v2)
           
 boolean AlgebraValue.equals(AlgebraValue v)
           
 AlgebraValue AlgebraValue.geq(AlgebraValue v)
           
 AlgebraValue AbstractTableAlgebra.geq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.geq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue IAlgebra.geq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue TwoValAlgebra.geq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue AlgebraValue.impl(AlgebraValue v)
           
abstract  AlgebraValue AbstractTableAlgebra.impl(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.impl(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue DeMorganTableAlgebra.impl(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue IAlgebra.impl(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue TwoValAlgebra.impl(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.infoJoin(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.infoMeet(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.infoNeg(AlgebraValue v1)
           
 boolean MinUpSet.isIn(AlgebraValue v)
          true if v is an element of this set, i.e.
 AlgebraValue AlgebraValue.join(AlgebraValue v)
           
 AlgebraValue AbstractTableAlgebra.join(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.join(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue IAlgebra.join(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue TwoValAlgebra.join(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue[] AbstractTableAlgebra.joinDecomposition(AlgebraValue v)
           
 AlgebraValue[] BelnapAlgebra.joinDecomposition(AlgebraValue v)
           
 AlgebraValue[] IAlgebra.joinDecomposition(AlgebraValue v)
           
 AlgebraValue[] TwoValAlgebra.joinDecomposition(AlgebraValue v)
           
 AlgebraValue AlgebraValue.leq(AlgebraValue v)
           
 AlgebraValue AbstractTableAlgebra.leq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.leq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue IAlgebra.leq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue TwoValAlgebra.leq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue AlgebraValue.meet(AlgebraValue v)
           
 AlgebraValue AbstractTableAlgebra.meet(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue BelnapAlgebra.meet(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue IAlgebra.meet(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue TwoValAlgebra.meet(AlgebraValue v1, AlgebraValue v2)
           
abstract  AlgebraValue AbstractTableAlgebra.neg(AlgebraValue v)
           
 AlgebraValue BelnapAlgebra.neg(AlgebraValue v)
           
 AlgebraValue DeMorganTableAlgebra.neg(AlgebraValue v)
           
 AlgebraValue IAlgebra.neg(AlgebraValue v)
           
 AlgebraValue TwoValAlgebra.neg(AlgebraValue v)
           
static AlgebraValue[] AlgebraValue.renameArgs(AlgebraValue[] v, int[] rmap)
           
static java.lang.String AlgebraValue.toString(AlgebraValue[] vec)
           
static java.lang.String AlgebraValue.toString(AlgebraValue[][] vecs)
           
 

Uses of AlgebraValue in edu.toronto.cs.boolpg.parser
 

Methods in edu.toronto.cs.boolpg.parser with parameters of type AlgebraValue
abstract  CTLNode VariableTable.Variable.toCTL(AlgebraValue[] state)
           
 CTLNode VariableTable.ProcessCounter.toCTL(AlgebraValue[] state)
           
 CTLNode VariableTable.StateVariable.toCTL(AlgebraValue[] state)
           
 

Uses of AlgebraValue in edu.toronto.cs.cfa
 

Methods in edu.toronto.cs.cfa that return AlgebraValue
 AlgebraValue CFAMvSetFactory.CFAMvSet.evaluate(AlgebraValue[] values)
           
 AlgebraValue CFAMvSetFactory.CFAMvSet.getValue()
           
 

Methods in edu.toronto.cs.cfa with parameters of type AlgebraValue
 MvSet CFAMvSetFactory.CFAMvSet.cofactor(AlgebraValue[] r)
           
 MvSet CFAMvSetFactory.CFAMvSet.cofactor(int argIdx, AlgebraValue value)
           
 MvSet CFAMvSetFactory.createConstant(AlgebraValue value)
           
 MvSet CFAMvSetFactory.createPoint(AlgebraValue[] args, AlgebraValue value)
           
 MvSet CFAMvSetFactory.createPoint(AlgebraValue[] args, AlgebraValue value)
           
 AlgebraValue CFAMvSetFactory.CFAMvSet.evaluate(AlgebraValue[] values)
           
 java.util.Iterator CFAMvSetFactory.CFAMvSet.mintermIterator(MvSet _vars, AlgebraValue val)
           
 MvSet CFAMvSetFactory.var(int arg, AlgebraValue argVal, AlgebraValue value)
           
 

Uses of AlgebraValue in edu.toronto.cs.ctl
 

Methods in edu.toronto.cs.ctl that return AlgebraValue
 AlgebraValue CTLConstantNode.getValue()
           
 

Methods in edu.toronto.cs.ctl with parameters of type AlgebraValue
static CTLConstantNode CTLFactory.createCTLConstantNode(AlgebraValue v)
           
 

Constructors in edu.toronto.cs.ctl with parameters of type AlgebraValue
CTLConstantNode(AlgebraValue _value)
          Construct a lattice node from the index of the lattice value and the lattice itself.
 

Uses of AlgebraValue in edu.toronto.cs.gclang.parser
 

Methods in edu.toronto.cs.gclang.parser with parameters of type AlgebraValue
abstract  CTLNode VariableTable.Variable.toCTL(AlgebraValue[] state)
           
 CTLNode VariableTable.EnumeratedVariable.toCTL(AlgebraValue[] state)
           
 CTLNode VariableTable.StateVariable.toCTL(AlgebraValue[] state)
           
 

Uses of AlgebraValue in edu.toronto.cs.modelchecker
 

Methods in edu.toronto.cs.modelchecker that return AlgebraValue
 AlgebraValue[] XKripkeStructure.getSingleState(AlgebraValue[] stateAssignment)
           
 AlgebraValue[] XKripkeStructure.getSingleState(AlgebraValue[] state, AlgebraValue val)
           
 

Methods in edu.toronto.cs.modelchecker with parameters of type AlgebraValue
 AlgebraValue[] XKripkeStructure.getSingleState(AlgebraValue[] stateAssignment)
           
 AlgebraValue[] XKripkeStructure.getSingleState(AlgebraValue[] state, AlgebraValue val)
           
 AlgebraValue[] XKripkeStructure.getSingleState(AlgebraValue[] state, AlgebraValue val)
           
 CTLNode[] StatePresenter.toCTL(AlgebraValue[] state)
           
 CTLNode[][] StatePresenter.toCTL(AlgebraValue[][] states)
           
 

Uses of AlgebraValue in edu.toronto.cs.mvset
 

Methods in edu.toronto.cs.mvset that return AlgebraValue
 AlgebraValue[][] MDDMvSetFactory.MDDMvSet.__expandToArray()
           
 AlgebraValue[] MDDMvSetFactory.MDDMvSet.blankAssignmentVector()
           
 AlgebraValue CUADDMvSetFactory.CUADDMvSet.evaluate(AlgebraValue[] values)
          Evaluates this function on an input result = f (values [0], values [1], ...)
 AlgebraValue JADDMvSetFactory.JADDMvSet.evaluate(AlgebraValue[] values)
          Evaluates this function on an input result = f (values [0], values [1], ...)
 AlgebraValue JCUDDBelnapMvSetFactory.JCUDDBelnapMvSet.evaluate(AlgebraValue[] values)
          Evaluates this function on an input result = f (values [0], values [1], ...)
 AlgebraValue JCUDDMvSetFactory.JCUDDMvSet.evaluate(AlgebraValue[] values)
          Evaluates this function on an input result = f (values [0], values [1], ...)
 AlgebraValue MDDMvSetFactory.MDDMvSet.evaluate(AlgebraValue[] values)
          Evaluates this function on an input result = f (values [0], values [1], ...)
 AlgebraValue MvSet.evaluate(AlgebraValue[] values)
          Evaluates this function on an input result = f (values [0], values [1], ...)
 AlgebraValue[][] AbstractMvSet.expandToArray()
           
 AlgebraValue[][] JADDMvSetFactory.JADDMvSet.expandToArray()
           
 AlgebraValue CUADDMvSetFactory.CUADDMvSet.getValue()
           
 AlgebraValue JADDMvSetFactory.JADDMvSet.getValue()
           
 AlgebraValue JCUDDBelnapMvSetFactory.JCUDDBelnapMvSet.getValue()
           
 AlgebraValue JCUDDMvSetFactory.JCUDDMvSet.getValue()
           
 AlgebraValue MDDMvSetFactory.MDDMvSet.getValue()
           
 AlgebraValue MvSet.getValue()
           
 

Methods in edu.toronto.cs.mvset with parameters of type AlgebraValue
 MvSet CUADDMvSetFactory.CUADDMvSet.cofactor(AlgebraValue[] r)
           
 MvSet JADDMvSetFactory.JADDMvSet.cofactor(AlgebraValue[] r)
           
 MvSet JCUDDBelnapMvSetFactory.JCUDDBelnapMvSet.cofactor(AlgebraValue[] r)
           
 MvSet JCUDDMvSetFactory.JCUDDMvSet.cofactor(AlgebraValue[] r)
           
 MvSet MDDMvSetFactory.MDDMvSet.cofactor(AlgebraValue[] r)
           
 MvSet MvSet.cofactor(AlgebraValue[] r)
          Restricts the MvSet to a particular L^n (or set of permutations on L^n if r is not total)
 MvSet CUADDMvSetFactory.CUADDMvSet.cofactor(int argIdx, AlgebraValue value)
          Restricts an argument h (x_0, x_1, x_2, ...) = f (x_0, ..., value, ...) where value is substituted at argIdx
 MvSet JADDMvSetFactory.JADDMvSet.cofactor(int argIdx, AlgebraValue value)
          Restricts an argument h (x_0, x_1, x_2, ...) = f (x_0, ..., value, ...) where value is substituted at argIdx
 MvSet JCUDDBelnapMvSetFactory.JCUDDBelnapMvSet.cofactor(int argIdx, AlgebraValue value)
          Restricts an argument h (x_0, x_1, x_2, ...) = f (x_0, ..., value, ...) where value is substituted at argIdx
 MvSet JCUDDMvSetFactory.JCUDDMvSet.cofactor(int argIdx, AlgebraValue value)
          Restricts an argument h (x_0, x_1, x_2, ...) = f (x_0, ..., value, ...) where value is substituted at argIdx
 MvSet MDDMvSetFactory.MDDMvSet.cofactor(int argIdx, AlgebraValue value)
          Restricts an argument h (x_0, x_1, x_2, ...) = f (x_0, ..., value, ...) where value is substituted at argIdx
 MvSet MvSet.cofactor(int argIdx, AlgebraValue value)
          Restricts an argument h (x_0, x_1, x_2, ...) = f (x_0, ..., value, ...) where value is substituted at argIdx
 MvSet CUADDMvSetFactory.createConstant(AlgebraValue v)
          Given a value in L creates a function f(x_0, x_1, ...) = value
 MvSet JADDMvSetFactory.createConstant(AlgebraValue v)
          Given a value in L creates a function f(x_0, x_1, ...) = value
 MvSet JCUDDBelnapMvSetFactory.createConstant(AlgebraValue v)
          Given a value in L creates a function f(x_0, x_1, ...) = value
 MvSet JCUDDMvSetFactory.createConstant(AlgebraValue v)
          Given a value in L creates a function f(x_0, x_1, ...) = value
 MvSet MDDMvSetFactory.createConstant(AlgebraValue v)
          Given a value in L creates a function f(x_0, x_1, ...) = value
 MvSet MvSetFactory.createConstant(AlgebraValue value)
          Given a value in L creates a function f(x_0, x_1, ...) = value
 MvSet CUADDMvSetFactory.createPoint(AlgebraValue[] args, AlgebraValue value)
          Creates a point function f (args) = value = 0 otherwise
 MvSet CUADDMvSetFactory.createPoint(AlgebraValue[] args, AlgebraValue value)
          Creates a point function f (args) = value = 0 otherwise
 MvSet JADDMvSetFactory.createPoint(AlgebraValue[] args, AlgebraValue value)
          Creates a point function f (args) = value = 0 otherwise
 MvSet JADDMvSetFactory.createPoint(AlgebraValue[] args, AlgebraValue value)
          Creates a point function f (args) = value = 0 otherwise
 MvSet JCUDDBelnapMvSetFactory.createPoint(AlgebraValue[] args, AlgebraValue value)
          Creates a point function f (args) = value = 0 otherwise
 MvSet JCUDDBelnapMvSetFactory.createPoint(AlgebraValue[] args, AlgebraValue value)
          Creates a point function f (args) = value = 0 otherwise
 MvSet JCUDDMvSetFactory.createPoint(AlgebraValue[] args, AlgebraValue value)
          Creates a point function f (args) = value = 0 otherwise
 MvSet JCUDDMvSetFactory.createPoint(AlgebraValue[] args, AlgebraValue value)
          Creates a point function f (args) = value = 0 otherwise
 MvSet MDDMvSetFactory.createPoint(AlgebraValue[] args, AlgebraValue value)
          Creates a point function f (args) = value = 0 otherwise
 MvSet MDDMvSetFactory.createPoint(AlgebraValue[] args, AlgebraValue value)
          Creates a point function f (args) = value = 0 otherwise
 MvSet MvSetFactory.createPoint(AlgebraValue[] args, AlgebraValue value)
          Creates a point function f (args) = value = 0 otherwise
 MvSet MvSetFactory.createPoint(AlgebraValue[] args, AlgebraValue value)
          Creates a point function f (args) = value = 0 otherwise
 AlgebraValue CUADDMvSetFactory.CUADDMvSet.evaluate(AlgebraValue[] values)
          Evaluates this function on an input result = f (values [0], values [1], ...)
 AlgebraValue JADDMvSetFactory.JADDMvSet.evaluate(AlgebraValue[] values)
          Evaluates this function on an input result = f (values [0], values [1], ...)
 AlgebraValue JCUDDBelnapMvSetFactory.JCUDDBelnapMvSet.evaluate(AlgebraValue[] values)
          Evaluates this function on an input result = f (values [0], values [1], ...)
 AlgebraValue JCUDDMvSetFactory.JCUDDMvSet.evaluate(AlgebraValue[] values)
          Evaluates this function on an input result = f (values [0], values [1], ...)
 AlgebraValue MDDMvSetFactory.MDDMvSet.evaluate(AlgebraValue[] values)
          Evaluates this function on an input result = f (values [0], values [1], ...)
 AlgebraValue MvSet.evaluate(AlgebraValue[] values)
          Evaluates this function on an input result = f (values [0], values [1], ...)
 java.util.Set AbstractMvSet.getPreImageArray(AlgebraValue v)
           
 java.util.Set JADDMvSetFactory.JADDMvSet.getPreImageArray(AlgebraValue v)
           
 java.util.Set MDDMvSetFactory.MDDMvSet.getPreImageArray(AlgebraValue v)
          returns all cubes that lead to v
 java.util.Set MvSet.getPreImageArray(AlgebraValue v)
          Evaluates this function with respect to a state Note that we have a small discreptancy between what we mean by states since here a state may contain primed and unprimed variables and thus represent a transition rather than a state
 java.util.Iterator AbstractMvSet.mintermIterator(MvSet vars, AlgebraValue v)
           
 java.util.Iterator JCUDDBelnapMvSetFactory.JCUDDBelnapMvSet.mintermIterator(MvSet vars, AlgebraValue val)
           
 java.util.Iterator JCUDDMvSetFactory.JCUDDMvSet.mintermIterator(MvSet vars, AlgebraValue val)
           
 java.util.Iterator MDDMvSetFactory.MDDMvSet.mintermIterator(MvSet _vars, AlgebraValue val)
           
 java.util.Iterator MvSet.mintermIterator(MvSet vars, AlgebraValue val)
           
 MvSet CUADDMvSetFactory.var(int argIdx, AlgebraValue argVal, AlgebraValue value)
           
 MvSet JADDMvSetFactory.var(int argIdx, AlgebraValue argVal, AlgebraValue value)
           
 MvSet JCUDDBelnapMvSetFactory.var(int argIdx, AlgebraValue argVal, AlgebraValue value)
           
 MvSet JCUDDMvSetFactory.var(int argIdx, AlgebraValue argVal, AlgebraValue value)
           
 MvSet MDDMvSetFactory.var(int argIdx, AlgebraValue argVal, AlgebraValue value)
           
 MvSet MvSetFactory.var(int arg, AlgebraValue argVal, AlgebraValue value)
          Builds an mvset corresponding to (arg = argVal) /\ value
 

Uses of AlgebraValue in edu.toronto.cs.proof2
 

Methods in edu.toronto.cs.proof2 that return AlgebraValue
 AlgebraValue[] CTLProver.BaseEXProofRule.getSingleState(AlgebraValue[] state, AlgebraValue val)
           
 AlgebraValue[] CTLProver.EXProofRule.getSingleState(AlgebraValue[] state, AlgebraValue val)
           
 AlgebraValue[] CTLProver.EXCexProofRule.getStateAsArray(Formula f)
           
static AlgebraValue[] ProofStepFactory.getStateAsArray(Formula f)
           
 AlgebraValue Formula.getValue()
           
 

Methods in edu.toronto.cs.proof2 with parameters of type AlgebraValue
static void CTLProver.dumpMvSet(MvSet mvSet, AlgebraValue x)
           
static Formula Formula.duplicate(Formula f, CTLNode ctl, AlgebraValue val, MvSet state)
           
 AlgebraValue[] CTLProver.BaseEXProofRule.getSingleState(AlgebraValue[] state, AlgebraValue val)
           
 AlgebraValue[] CTLProver.BaseEXProofRule.getSingleState(AlgebraValue[] state, AlgebraValue val)
           
 AlgebraValue[] CTLProver.EXProofRule.getSingleState(AlgebraValue[] state, AlgebraValue val)
           
 AlgebraValue[] CTLProver.EXProofRule.getSingleState(AlgebraValue[] state, AlgebraValue val)
           
 

Constructors in edu.toronto.cs.proof2 with parameters of type AlgebraValue
AboveFormula(CTLNode _ctl, AlgebraValue _val, MvSet _state)
           
BelowFormula(CTLNode _ctl, AlgebraValue _val, MvSet _state)
           
ComparisonFormula(CTLNode _ctl, AlgebraValue _val, MvSet _state)
           
ConstantFormula(AlgebraValue _val)
           
EqualFormula(CTLNode _ctl, AlgebraValue _val, MvSet _state)
           
Formula(CTLNode _ctl, AlgebraValue _val, MvSet _state)
           
 

Uses of AlgebraValue in edu.toronto.cs.tlq
 

Subclasses of AlgebraValue in edu.toronto.cs.tlq
 class MvSetCrossProductAlgebra.CrossProductValue
           
 class MvSetUpsetAlgebra.MvSetUpsetValue
          A single element of MvSetUpsetAlgebra
 

Methods in edu.toronto.cs.tlq that return AlgebraValue
 AlgebraValue MvSetCrossProductAlgebra.bot()
           
 AlgebraValue MvSetUpsetAlgebra.bot()
           
 AlgebraValue UpSetAlgebra.bot()
           
 AlgebraValue MvSetCrossProductAlgebra.eq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue MvSetUpsetAlgebra.eq(AlgebraValue v1, AlgebraValue v2)
          Algebraic equivalence
 AlgebraValue UpSetAlgebra.eq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue MvSetCrossProductAlgebra.geq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue MvSetUpsetAlgebra.geq(AlgebraValue v1, AlgebraValue v2)
          same as leq (v2, v1)
 AlgebraValue UpSetAlgebra.geq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue MvSetCrossProductAlgebra.getValue(int id)
           
 AlgebraValue MvSetUpsetAlgebra.getValue(int id)
          Returns an AlgebraValue based on id
 AlgebraValue UpSetAlgebra.getValue(int id)
           
 AlgebraValue MvSetCrossProductAlgebra.getValue(java.lang.String name)
           
 AlgebraValue MvSetUpsetAlgebra.getValue(java.lang.String name)
          Returns an algebra value based on name
 AlgebraValue UpSetAlgebra.getValue(java.lang.String name)
           
 AlgebraValue MvSetCrossProductAlgebra.impl(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue MvSetUpsetAlgebra.impl(AlgebraValue v1, AlgebraValue v2)
          Not implemented
 AlgebraValue UpSetAlgebra.impl(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue MvSetCrossProductAlgebra.join(AlgebraValue _v1, AlgebraValue _v2)
           
 AlgebraValue MvSetUpsetAlgebra.join(AlgebraValue _v1, AlgebraValue _v2)
          Algebraic join
 AlgebraValue UpSetAlgebra.join(AlgebraValue _v1, AlgebraValue _v2)
           
 AlgebraValue[] MvSetCrossProductAlgebra.joinDecomposition(AlgebraValue v)
           
 AlgebraValue[] MvSetUpsetAlgebra.joinDecomposition(AlgebraValue v)
          Not implemented
 AlgebraValue[] UpSetAlgebra.joinDecomposition(AlgebraValue v)
           
 AlgebraValue MvSetCrossProductAlgebra.leq(AlgebraValue _v1, AlgebraValue _v2)
           
 AlgebraValue MvSetUpsetAlgebra.leq(AlgebraValue _v1, AlgebraValue _v2)
          Algebraic less-than-or-equals
 AlgebraValue UpSetAlgebra.leq(AlgebraValue _v1, AlgebraValue _v2)
           
 AlgebraValue MvSetCrossProductAlgebra.meet(AlgebraValue _v1, AlgebraValue _v2)
           
 AlgebraValue MvSetUpsetAlgebra.meet(AlgebraValue _v1, AlgebraValue _v2)
          Algebraic meet
 AlgebraValue UpSetAlgebra.meet(AlgebraValue _v1, AlgebraValue _v2)
           
 AlgebraValue MvSetCrossProductAlgebra.neg(AlgebraValue v)
           
 AlgebraValue MvSetUpsetAlgebra.neg(AlgebraValue v)
          Negation.
 AlgebraValue UpSetAlgebra.neg(AlgebraValue v)
           
 AlgebraValue MvSetCrossProductAlgebra.noValue()
           
 AlgebraValue MvSetUpsetAlgebra.noValue()
           
 AlgebraValue UpSetAlgebra.noValue()
          DeMorganAlgebra interface
 AlgebraValue MvSetCrossProductAlgebra.top()
           
 AlgebraValue MvSetUpsetAlgebra.top()
           
 AlgebraValue UpSetAlgebra.top()
           
 

Methods in edu.toronto.cs.tlq with parameters of type AlgebraValue
 AlgebraValue MvSetCrossProductAlgebra.eq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue MvSetUpsetAlgebra.eq(AlgebraValue v1, AlgebraValue v2)
          Algebraic equivalence
 AlgebraValue UpSetAlgebra.eq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue MvSetCrossProductAlgebra.geq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue MvSetUpsetAlgebra.geq(AlgebraValue v1, AlgebraValue v2)
          same as leq (v2, v1)
 AlgebraValue UpSetAlgebra.geq(AlgebraValue v1, AlgebraValue v2)
           
 CTLNode[] MvSetPlaceholderReWriter.getSolutions(AlgebraValue v, StatePresenter presenter)
           
 CTLNode[] PlaceholderReWriter.getSolutions(AlgebraValue v, StatePresenter presenter)
           
 AlgebraValue MvSetCrossProductAlgebra.impl(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue MvSetUpsetAlgebra.impl(AlgebraValue v1, AlgebraValue v2)
          Not implemented
 AlgebraValue UpSetAlgebra.impl(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue MvSetCrossProductAlgebra.join(AlgebraValue _v1, AlgebraValue _v2)
           
 AlgebraValue MvSetUpsetAlgebra.join(AlgebraValue _v1, AlgebraValue _v2)
          Algebraic join
 AlgebraValue UpSetAlgebra.join(AlgebraValue _v1, AlgebraValue _v2)
           
 AlgebraValue[] MvSetCrossProductAlgebra.joinDecomposition(AlgebraValue v)
           
 AlgebraValue[] MvSetUpsetAlgebra.joinDecomposition(AlgebraValue v)
          Not implemented
 AlgebraValue[] UpSetAlgebra.joinDecomposition(AlgebraValue v)
           
 AlgebraValue MvSetCrossProductAlgebra.leq(AlgebraValue _v1, AlgebraValue _v2)
           
 AlgebraValue MvSetUpsetAlgebra.leq(AlgebraValue _v1, AlgebraValue _v2)
          Algebraic less-than-or-equals
 AlgebraValue UpSetAlgebra.leq(AlgebraValue _v1, AlgebraValue _v2)
           
 AlgebraValue MvSetCrossProductAlgebra.meet(AlgebraValue _v1, AlgebraValue _v2)
           
 AlgebraValue MvSetUpsetAlgebra.meet(AlgebraValue _v1, AlgebraValue _v2)
          Algebraic meet
 AlgebraValue UpSetAlgebra.meet(AlgebraValue _v1, AlgebraValue _v2)
           
 AlgebraValue MvSetCrossProductAlgebra.neg(AlgebraValue v)
           
 AlgebraValue MvSetUpsetAlgebra.neg(AlgebraValue v)
          Negation.
 AlgebraValue UpSetAlgebra.neg(AlgebraValue v)
           
 

Uses of AlgebraValue in edu.toronto.cs.yasm
 

Methods in edu.toronto.cs.yasm that return AlgebraValue
 AlgebraValue YasmApp.run()
           
 

Uses of AlgebraValue in edu.toronto.cs.yasm.pprogram
 

Methods in edu.toronto.cs.yasm.pprogram with parameters of type AlgebraValue
 CTLNode PredicateTable.AddPredicate.__toCTL(AlgebraValue[] state)
           
 CTLNode PredicateTable.Predicate.toCTL(AlgebraValue[] state)
           
 CTLNode PredicateTable.AddPredicate.toCTL(AlgebraValue[] state)
           
 CTLNode PredicateTable.IntVariable.toCTL(AlgebraValue[] state)
           
 Expr PredicateTable.Predicate.toExpr(AlgebraValue[] state)
           
 Expr PredicateTable.AddPredicate.toExpr(AlgebraValue[] state)
           
 Expr PredicateTable.IntVariable.toExpr(AlgebraValue[] state)
           
 

Uses of AlgebraValue in edu.toronto.cs.yasm.trace
 

Constructors in edu.toronto.cs.yasm.trace with parameters of type AlgebraValue
TraceGenerator(PProgram _pProgram, XKripkeStructure _xkripke, MvSetModelChecker _xchek, CTLNode prop, MvSet _result, AlgebraValue _value)
          Creates a new TraceGenerator instance.