AngouriMath

Navigation

ToProvided(System.ValueTuple{AngouriMath.Entity,AngouriMath.Entity})

Method (no overloads)

Summary

Converts a tuple of an expression and its predicate to a
Provided node

Returns

Providedf node

Example

Console.WriteLine(((Entity)"1 / x", (Entity)"x <> 0").ToProvided());

Prints

1 / x provided not x = 0