Package mepk.kernel

Class Abbreviation

java.lang.Object

mepk.kernel.Abbreviation

public final class Abbreviation
extends Object

An abbreviation.

Constructor Summary

Constructors

Constructor	Description
Abbreviation(Expression abbreviation, Expression expansion, Expression... conditions)	Create a new abbreviation.

Method Summary

Modifier and Type	Method	Description
String	getConstName()	Returns the name of this abbreviation.
Expression	getExpansion()	Returns the expansion of the abbreviation.
List<String>	getNormalVarNames()	Returns the 'normal' variable names used in this abbreviation, so excluding the 'floating' variable names that are only used in the expansion (TODO: What terminology does Ghilbert use here?).

Methods inherited from class java.lang.Object

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

Constructor Details

Abbreviation

public Abbreviation(Expression abbreviation,
 Expression expansion,
 Expression... conditions)

Create a new abbreviation.

Parameters:

abbreviation - the abbreviating expression, must be an App of Vars

expansion - the expression after expansion, may use more or less Vars than the abbreviation

conditions - a (possibly empty) list of conditions under which the abbreviation applies, may only contain Vars that are in either the abbreviation or the expansion

Method Details

getConstName

public String getConstName()

Returns the name of this abbreviation.

Returns:

the name

getNormalVarNames

public List<String> getNormalVarNames()

Returns the 'normal' variable names used in this abbreviation, so excluding the 'floating' variable names that are only used in the expansion (TODO: What terminology does Ghilbert use here?).

Returns:

the names, in order

getExpansion

public Expression getExpansion()

Returns the expansion of the abbreviation.

Returns:

the expansion