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

SimpleElkAxiomChange(ElkAxiom axiom, int m)

Method Summary

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