org.semanticweb.elk.loading

Class SimpleElkAxiomChange

java.lang.Object

org.semanticweb.elk.loading.SimpleElkAxiomChange

All Implemented Interfaces:

ElkAxiomChange

public class SimpleElkAxiomChange
extends Object
implements ElkAxiomChange

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Constructor Summary

Constructors

Constructor and Description
SimpleElkAxiomChange(ElkAxiom axiom, int m)

Method Summary

Methods

Modifier and Type	Method and Description
ElkAxiom	getAxiom()
int	getMultiplicity()

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleElkAxiomChange

public SimpleElkAxiomChange(ElkAxiom axiom,
                    int m)

Method Detail

getAxiom

public ElkAxiom getAxiom()

Specified by:

getAxiom in interface ElkAxiomChange

getMultiplicity

public int getMultiplicity()

Specified by:

getMultiplicity in interface ElkAxiomChange