propositional/lib/transform/substitute.d.ts

Propositional logic symbolic computation library

import * as AST from '../syntax/ast';
export declare function substituteVariable(expression: AST.Expression, v1: AST.Literal, v2: AST.Literal): AST.Expression;