Toggle navigation
Hot Examples
EN
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Search
C# (CSharp) IFormula.substitute Examples
Programming Language:
C# (CSharp)
Class/Type:
IFormula
Method/Function:
substitute
Examples at hotexamples.com:
1
C# (CSharp) IFormula.substitute - 1 examples found
. These are the top rated real world C# (CSharp) examples of
IFormula.substitute
extracted from open source projects. You can rate examples to help us improve the quality of examples.
Frequently Used Methods
Show
Hide
AddObjectPath(19)
IsConstant(12)
IsAnImplementationOf(12)
IsExplicit(8)
DowncastTo(8)
ToString(7)
GetType(5)
IsBlackBox(5)
IsDynamic(4)
Solve(3)
ResolveObjectPathsFor(3)
GenerateFormula(3)
Calculate(3)
getId(2)
IsTableWithOffSet(2)
IsTable(2)
getRoot(2)
process(2)
ShouldBeEqualTo(2)
IsCachable(2)
GetFirst(2)
FormulaUsablePathBy(2)
FormulaString(2)
IsAmountBased(1)
ShouldNotBeEqualTo(1)
AllSteps(1)
CalcularBhaskara(1)
getLeafNodes(1)
ContainsTimePath(1)
calculate(1)
Equals(1)
Eval(1)
ShouldBeAnInstanceOf(1)
ShouldBeNull(1)
Evaluate(1)
After(1)
SetFormula(1)
IsTableWithXArgument(1)
GetFormula(1)
GetHashCode(1)
IsDistributed(1)
InvokeFormula(1)
substitute(1)
Frequently Used Methods
AddObjectPath (19)
IsConstant (12)
IsAnImplementationOf (12)
IsExplicit (8)
DowncastTo (8)
ToString (7)
GetType (5)
IsBlackBox (5)
IsDynamic (4)
Solve (3)
Frequently Used Methods
ResolveObjectPathsFor (3)
GenerateFormula (3)
Calculate (3)
getId (2)
IsTableWithOffSet (2)
IsTable (2)
getRoot (2)
process (2)
ShouldBeEqualTo (2)
IsCachable (2)
GetFirst (2)
FormulaUsablePathBy (2)
FormulaString (2)
IsAmountBased (1)
ShouldNotBeEqualTo (1)
AllSteps (1)
CalcularBhaskara (1)
getLeafNodes (1)
ContainsTimePath (1)
calculate (1)
Frequently Used Methods
GetFirst (2)
FormulaUsablePathBy (2)
FormulaString (2)
IsAmountBased (1)
ShouldNotBeEqualTo (1)
AllSteps (1)
CalcularBhaskara (1)
getLeafNodes (1)
ContainsTimePath (1)
calculate (1)
Equals (1)
Eval (1)
ShouldBeAnInstanceOf (1)
ShouldBeNull (1)
Evaluate (1)
After (1)
SetFormula (1)
IsTableWithXArgument (1)
GetFormula (1)
GetHashCode (1)
IsDistributed (1)
InvokeFormula (1)
substitute (1)
Frequently Used Methods
Equals (1)
Eval (1)
ShouldBeAnInstanceOf (1)
ShouldBeNull (1)
Evaluate (1)
After (1)
SetFormula (1)
IsTableWithXArgument (1)
GetFormula (1)
GetHashCode (1)
IsDistributed (1)
InvokeFormula (1)
substitute (1)
Example #1
0
Show file
File:
Not.cs
Project:
uriJuhasz/Boogie_verifier
public IFormula substitute(Substitution s) { return(new Not(f.substitute(s))); }
x