| toDecreasing |
fun String.toDecreasing(): Proposition
Convert variable name to decreasing direction proposition. |
| toIncreasing |
fun String.toIncreasing(): Proposition
Convert variable name to increasing direction proposition. |
| toNegativeIn |
fun String.toNegativeIn(): Transition
Create a Formula.Transition proposition with positive direction and incoming flow. |
| toNegativeOut |
fun String.toNegativeOut(): Transition
Create a Formula.Transition proposition with positive direction and incoming flow. |
| toPositiveIn |
fun String.toPositiveIn(): Transition
Create a Formula.Transition proposition with positive direction and incoming flow. |
| toPositiveOut |
fun String.toPositiveOut(): Transition
Create a Formula.Transition proposition with positive direction and incoming flow. |
| toReference |
fun String.toReference(): Reference
Create a Formula.Reference from this string. |
| toVar |
fun String.toVar(): Variable
Convert string to variable expression. |