de.uka.ilkd.key.strategy.quantifierHeuristics

Class Metavariable

java.lang.Object

de.uka.ilkd.key.logic.op.AbstractOperator

de.uka.ilkd.key.logic.op.AbstractSortedOperator

de.uka.ilkd.key.strategy.quantifierHeuristics.Metavariable

All Implemented Interfaces:

Named, Operator, ParsableVariable, SortedOperator, SVSubstitute, Sorted, java.lang.Comparable<Metavariable>

Deprecated.

@Deprecated
public final class Metavariable
extends AbstractSortedOperator
implements ParsableVariable, java.lang.Comparable<Metavariable>

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	isTemporaryVariable Deprecated.
private static int	maxSerial Deprecated.
private int	serial Deprecated.

Constructor Summary

Constructors

Modifier	Constructor and Description
	Metavariable(Name name, Sort sort) Deprecated.
private	Metavariable(Name name, Sort sort, boolean isTemporaryVariable) Deprecated.

Method Summary

Modifier and Type	Method and Description
int	compareTo(Metavariable p_mr) Deprecated.
boolean	equals(java.lang.Object o) Deprecated.
boolean	isTemporaryVariable() Deprecated.
private void	setSerial() Deprecated.
java.lang.String	toString() Deprecated.

Methods inherited from class de.uka.ilkd.key.logic.op.AbstractSortedOperator

additionalValidTopLevel, additionalValidTopLevel2, argSort, argSorts, sort, sort

Methods inherited from class de.uka.ilkd.key.logic.op.AbstractOperator

arity, bindVarsAt, isRigid, name, validTopLevel, whereToBind

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.logic.op.SortedOperator

argSort, argSorts, sort

Methods inherited from interface de.uka.ilkd.key.logic.op.Operator

arity, bindVarsAt, isRigid, sort, validTopLevel

Methods inherited from interface de.uka.ilkd.key.logic.Named

name

Field Detail

maxSerial

private static int maxSerial

Deprecated.

serial

private int serial

Deprecated.

isTemporaryVariable

private final boolean isTemporaryVariable

Deprecated.

Constructor Detail

Metavariable

private Metavariable(Name name,
                     Sort sort,
                     boolean isTemporaryVariable)

Deprecated.

Metavariable

public Metavariable(Name name,
                    Sort sort)

Deprecated.

Method Detail

setSerial

private void setSerial()

Deprecated.

toString

public java.lang.String toString()

Deprecated.

Overrides:

toString in class AbstractOperator

compareTo

public int compareTo(Metavariable p_mr)

Deprecated.

Specified by:

compareTo in interface java.lang.Comparable<Metavariable>

equals

public boolean equals(java.lang.Object o)

Deprecated.

Overrides:

equals in class java.lang.Object

isTemporaryVariable

public boolean isTemporaryVariable()

Deprecated.

Returns:

Returns the isTemporaryVariable.