All Superinterfaces:

EFactory, EModelElement, EObject, Notifier

All Known Implementing Classes:

ExpressionsFactoryImpl
```
public interface ExpressionsFactory
extends EFactory
```
The Factory for the model. It provides a create method for each non-abstract class of the model.

See Also:

ExpressionsPackage

Generated class or method.

Field Summary

Fields
Modifier and Type Field Description

static ExpressionsFactory eINSTANCE
The singleton instance of the factory.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`As`	`createAs()`	Returns a new object of class 'As'.
`BinaryAnd`	`createBinaryAnd()`	Returns a new object of class 'Binary And'.
`BinaryOr`	`createBinaryOr()`	Returns a new object of class 'Binary Or'.
`BitwiseNegation`	`createBitwiseNegation()`	Returns a new object of class 'Bitwise Negation'.
`BitwiseShiftLeft`	`createBitwiseShiftLeft()`	Returns a new object of class 'Bitwise Shift Left'.
`Disequality`	`createDisequality()`	Returns a new object of class 'Disequality'.
`Div`	`createDiv()`	Returns a new object of class 'Div'.
`Division`	`createDivision()`	Returns a new object of class 'Division'.
`EqualOrStandardOrderAfter`	`createEqualOrStandardOrderAfter()`	Returns a new object of class 'Equal Or Standard Order After'.
`EqualOrStandardOrderBefore`	`createEqualOrStandardOrderBefore()`	Returns a new object of class 'Equal Or Standard Order Before'.
`Equivalence`	`createEquivalence()`	Returns a new object of class 'Equivalence'.
`GreaterOrEqual`	`createGreaterOrEqual()`	Returns a new object of class 'Greater Or Equal'.
`GreaterThan`	`createGreaterThan()`	Returns a new object of class 'Greater Than'.
`IntegerDivision`	`createIntegerDivision()`	Returns a new object of class 'Integer Division'.
`Is`	`createIs()`	Returns a new object of class 'Is'.
`LessOrEqual`	`createLessOrEqual()`	Returns a new object of class 'Less Or Equal'.
`LessThan`	`createLessThan()`	Returns a new object of class 'Less Than'.
`LogicalAnd`	`createLogicalAnd()`	Returns a new object of class 'Logical And'.
`LogicalOr`	`createLogicalOr()`	Returns a new object of class 'Logical Or'.
`Minus`	`createMinus()`	Returns a new object of class 'Minus'.
`Mod`	`createMod()`	Returns a new object of class 'Mod'.
`ModuleCall`	`createModuleCall()`	Returns a new object of class 'Module Call'.
`Multiplication`	`createMultiplication()`	Returns a new object of class 'Multiplication'.
`NegativeNumber`	`createNegativeNumber()`	Returns a new object of class 'Negative Number'.
`NonEqualNumber`	`createNonEqualNumber()`	Returns a new object of class 'Non Equal Number'.
`NotProvable`	`createNotProvable()`	Returns a new object of class 'Not Provable'.
`NotUnifiable`	`createNotUnifiable()`	Returns a new object of class 'Not Unifiable'.
`NumberEqual`	`createNumberEqual()`	Returns a new object of class 'Number Equal'.
`ParticalUnification`	`createParticalUnification()`	Returns a new object of class 'Partical Unification'.
`Plus`	`createPlus()`	Returns a new object of class 'Plus'.
`PositiveNumber`	`createPositiveNumber()`	Returns a new object of class 'Positive Number'.
`Power`	`createPower()`	Returns a new object of class 'Power'.
`Rdiv`	`createRdiv()`	Returns a new object of class 'Rdiv'.
`Rem`	`createRem()`	Returns a new object of class 'Rem'.
`SoftCut`	`createSoftCut()`	Returns a new object of class 'Soft Cut'.
`StandardOrderAfter`	`createStandardOrderAfter()`	Returns a new object of class 'Standard Order After'.
`StandardOrderBefore`	`createStandardOrderBefore()`	Returns a new object of class 'Standard Order Before'.
`StructuralEquivalence`	`createStructuralEquivalence()`	Returns a new object of class 'Structural Equivalence'.
`StructuralEquivalenceNotProvable`	`createStructuralEquivalenceNotProvable()`	Returns a new object of class 'Structural Equivalence Not Provable'.
`SubDict`	`createSubDict()`	Returns a new object of class 'Sub Dict'.
`Unification`	`createUnification()`	Returns a new object of class 'Unification'.
`Univ`	`createUniv()`	Returns a new object of class 'Univ'.
`Xor`	`createXor()`	Returns a new object of class 'Xor'.
`ExpressionsPackage`	`getExpressionsPackage()`	Returns the package supported by this factory.

Methods inherited from interface org.eclipse.emf.ecore.EFactory
convertToString, create, createFromString, getEPackage, setEPackage

Methods inherited from interface org.eclipse.emf.ecore.EModelElement
getEAnnotation, getEAnnotations

Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver

- Field Detail
  - eINSTANCE
```
static final ExpressionsFactory eINSTANCE
```
    The singleton instance of the factory.
    
    Generated class or method.
- Method Detail
  - createLogicalOr
```
LogicalOr createLogicalOr()
```
    Returns a new object of class 'Logical Or'.
    
    Returns:
    
    a new object of class 'Logical Or'.
    
    Generated class or method.
  - createSoftCut
```
SoftCut createSoftCut()
```
    Returns a new object of class 'Soft Cut'.
    
    Returns:
    
    a new object of class 'Soft Cut'.
    
    Generated class or method.
  - createLogicalAnd
```
LogicalAnd createLogicalAnd()
```
    Returns a new object of class 'Logical And'.
    
    Returns:
    
    a new object of class 'Logical And'.
    
    Generated class or method.
  - createNotProvable
```
NotProvable createNotProvable()
```
    Returns a new object of class 'Not Provable'.
    
    Returns:
    
    a new object of class 'Not Provable'.
    
    Generated class or method.
  - createLessThan
```
LessThan createLessThan()
```
    Returns a new object of class 'Less Than'.
    
    Returns:
    
    a new object of class 'Less Than'.
    
    Generated class or method.
  - createUnification
```
Unification createUnification()
```
    Returns a new object of class 'Unification'.
    
    Returns:
    
    a new object of class 'Unification'.
    
    Generated class or method.
  - createUniv
```
Univ createUniv()
```
    Returns a new object of class 'Univ'.
    
    Returns:
    
    a new object of class 'Univ'.
    
    Generated class or method.
  - createStructuralEquivalence
```
StructuralEquivalence createStructuralEquivalence()
```
    Returns a new object of class 'Structural Equivalence'.
    
    Returns:
    
    a new object of class 'Structural Equivalence'.
    
    Generated class or method.
  - createStructuralEquivalenceNotProvable
```
StructuralEquivalenceNotProvable createStructuralEquivalenceNotProvable()
```
    Returns a new object of class 'Structural Equivalence Not Provable'.
    
    Returns:
    
    a new object of class 'Structural Equivalence Not Provable'.
    
    Generated class or method.
  - createNumberEqual
```
NumberEqual createNumberEqual()
```
    Returns a new object of class 'Number Equal'.
    
    Returns:
    
    a new object of class 'Number Equal'.
    
    Generated class or method.
  - createLessOrEqual
```
LessOrEqual createLessOrEqual()
```
    Returns a new object of class 'Less Or Equal'.
    
    Returns:
    
    a new object of class 'Less Or Equal'.
    
    Generated class or method.
  - createEquivalence
```
Equivalence createEquivalence()
```
    Returns a new object of class 'Equivalence'.
    
    Returns:
    
    a new object of class 'Equivalence'.
    
    Generated class or method.
  - createNonEqualNumber
```
NonEqualNumber createNonEqualNumber()
```
    Returns a new object of class 'Non Equal Number'.
    
    Returns:
    
    a new object of class 'Non Equal Number'.
    
    Generated class or method.
  - createGreaterThan
```
GreaterThan createGreaterThan()
```
    Returns a new object of class 'Greater Than'.
    
    Returns:
    
    a new object of class 'Greater Than'.
    
    Generated class or method.
  - createGreaterOrEqual
```
GreaterOrEqual createGreaterOrEqual()
```
    Returns a new object of class 'Greater Or Equal'.
    
    Returns:
    
    a new object of class 'Greater Or Equal'.
    
    Generated class or method.
  - createStandardOrderBefore
```
StandardOrderBefore createStandardOrderBefore()
```
    Returns a new object of class 'Standard Order Before'.
    
    Returns:
    
    a new object of class 'Standard Order Before'.
    
    Generated class or method.
  - createEqualOrStandardOrderBefore
```
EqualOrStandardOrderBefore createEqualOrStandardOrderBefore()
```
    Returns a new object of class 'Equal Or Standard Order Before'.
    
    Returns:
    
    a new object of class 'Equal Or Standard Order Before'.
    
    Generated class or method.
  - createStandardOrderAfter
```
StandardOrderAfter createStandardOrderAfter()
```
    Returns a new object of class 'Standard Order After'.
    
    Returns:
    
    a new object of class 'Standard Order After'.
    
    Generated class or method.
  - createEqualOrStandardOrderAfter
```
EqualOrStandardOrderAfter createEqualOrStandardOrderAfter()
```
    Returns a new object of class 'Equal Or Standard Order After'.
    
    Returns:
    
    a new object of class 'Equal Or Standard Order After'.
    
    Generated class or method.
  - createNotUnifiable
```
NotUnifiable createNotUnifiable()
```
    Returns a new object of class 'Not Unifiable'.
    
    Returns:
    
    a new object of class 'Not Unifiable'.
    
    Generated class or method.
  - createDisequality
```
Disequality createDisequality()
```
    Returns a new object of class 'Disequality'.
    
    Returns:
    
    a new object of class 'Disequality'.
    
    Generated class or method.
  - createAs
```
As createAs()
```
    Returns a new object of class 'As'.
    
    Returns:
    
    a new object of class 'As'.
    
    Generated class or method.
  - createIs
```
Is createIs()
```
    Returns a new object of class 'Is'.
    
    Returns:
    
    a new object of class 'Is'.
    
    Generated class or method.
  - createParticalUnification
```
ParticalUnification createParticalUnification()
```
    Returns a new object of class 'Partical Unification'.
    
    Returns:
    
    a new object of class 'Partical Unification'.
    
    Generated class or method.
  - createSubDict
```
SubDict createSubDict()
```
    Returns a new object of class 'Sub Dict'.
    
    Returns:
    
    a new object of class 'Sub Dict'.
    
    Generated class or method.
  - createModuleCall
```
ModuleCall createModuleCall()
```
    Returns a new object of class 'Module Call'.
    
    Returns:
    
    a new object of class 'Module Call'.
    
    Generated class or method.
  - createPlus
```
Plus createPlus()
```
    Returns a new object of class 'Plus'.
    
    Returns:
    
    a new object of class 'Plus'.
    
    Generated class or method.
  - createMinus
```
Minus createMinus()
```
    Returns a new object of class 'Minus'.
    
    Returns:
    
    a new object of class 'Minus'.
    
    Generated class or method.
  - createBinaryAnd
```
BinaryAnd createBinaryAnd()
```
    Returns a new object of class 'Binary And'.
    
    Returns:
    
    a new object of class 'Binary And'.
    
    Generated class or method.
  - createBinaryOr
```
BinaryOr createBinaryOr()
```
    Returns a new object of class 'Binary Or'.
    
    Returns:
    
    a new object of class 'Binary Or'.
    
    Generated class or method.
  - createXor
```
Xor createXor()
```
    Returns a new object of class 'Xor'.
    
    Returns:
    
    a new object of class 'Xor'.
    
    Generated class or method.
  - createMultiplication
```
Multiplication createMultiplication()
```
    Returns a new object of class 'Multiplication'.
    
    Returns:
    
    a new object of class 'Multiplication'.
    
    Generated class or method.
  - createDivision
```
Division createDivision()
```
    Returns a new object of class 'Division'.
    
    Returns:
    
    a new object of class 'Division'.
    
    Generated class or method.
  - createIntegerDivision
```
IntegerDivision createIntegerDivision()
```
    Returns a new object of class 'Integer Division'.
    
    Returns:
    
    a new object of class 'Integer Division'.
    
    Generated class or method.
  - createDiv
```
Div createDiv()
```
    Returns a new object of class 'Div'.
    
    Returns:
    
    a new object of class 'Div'.
    
    Generated class or method.
  - createRdiv
```
Rdiv createRdiv()
```
    Returns a new object of class 'Rdiv'.
    
    Returns:
    
    a new object of class 'Rdiv'.
    
    Generated class or method.
  - createBitwiseShiftLeft
```
BitwiseShiftLeft createBitwiseShiftLeft()
```
    Returns a new object of class 'Bitwise Shift Left'.
    
    Returns:
    
    a new object of class 'Bitwise Shift Left'.
    
    Generated class or method.
  - createMod
```
Mod createMod()
```
    Returns a new object of class 'Mod'.
    
    Returns:
    
    a new object of class 'Mod'.
    
    Generated class or method.
  - createRem
```
Rem createRem()
```
    Returns a new object of class 'Rem'.
    
    Returns:
    
    a new object of class 'Rem'.
    
    Generated class or method.
  - createPower
```
Power createPower()
```
    Returns a new object of class 'Power'.
    
    Returns:
    
    a new object of class 'Power'.
    
    Generated class or method.
  - createPositiveNumber
```
PositiveNumber createPositiveNumber()
```
    Returns a new object of class 'Positive Number'.
    
    Returns:
    
    a new object of class 'Positive Number'.
    
    Generated class or method.
  - createNegativeNumber
```
NegativeNumber createNegativeNumber()
```
    Returns a new object of class 'Negative Number'.
    
    Returns:
    
    a new object of class 'Negative Number'.
    
    Generated class or method.
  - createBitwiseNegation
```
BitwiseNegation createBitwiseNegation()
```
    Returns a new object of class 'Bitwise Negation'.
    
    Returns:
    
    a new object of class 'Bitwise Negation'.
    
    Generated class or method.
  - getExpressionsPackage
```
ExpressionsPackage getExpressionsPackage()
```
    Returns the package supported by this factory.
    
    Returns:
    
    the package supported by this factory.
    
    Generated class or method.

Interface ExpressionsFactory

Field Summary

Method Summary

Methods inherited from interface org.eclipse.emf.ecore.EFactory

Methods inherited from interface org.eclipse.emf.ecore.EModelElement

Methods inherited from interface org.eclipse.emf.ecore.EObject

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

Field Detail

eINSTANCE

Method Detail

createLogicalOr

createSoftCut

createLogicalAnd

createNotProvable

createLessThan

createUnification

createUniv

createStructuralEquivalence

createStructuralEquivalenceNotProvable

createNumberEqual

createLessOrEqual

createEquivalence

createNonEqualNumber

createGreaterThan

createGreaterOrEqual

createStandardOrderBefore

createEqualOrStandardOrderBefore

createStandardOrderAfter

createEqualOrStandardOrderAfter

createNotUnifiable

createDisequality

createAs

createIs

createParticalUnification

createSubDict

createModuleCall

createPlus

createMinus

createBinaryAnd

createBinaryOr

createXor

createMultiplication

createDivision

createIntegerDivision

createDiv

createRdiv

createBitwiseShiftLeft

createMod

createRem

createPower

createPositiveNumber

createNegativeNumber

createBitwiseNegation

getExpressionsPackage