gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.formats/gapt.formats.tip/gapt.formats.tip.transformation/expandVariableMatchExpressions

expandVariableMatchExpressions

gapt.formats.tip.transformation.expandVariableMatchExpressions
object expandVariableMatchExpressions extends TipSmtProblemTransformation

Attributes

Source
variableMatchExpansion.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

override def transform(problem: TipSmtProblem): TipSmtProblem

Attributes

Definition Classes
Source
variableMatchExpansion.scala

Inherited methods

def ->>:(other: TipSmtProblemTransformation): TipSmtProblemTransformation
Generated with