io.konig.cadl

Class Attribute

java.lang.Object

io.konig.cadl.CadlEntity

io.konig.cadl.Attribute

All Implemented Interfaces:

HasFormula

public class Attribute
extends CadlEntity
implements HasFormula

Constructor Summary

Constructors

Constructor and Description
Attribute()

Method Summary

Modifier and Type	Method and Description
QuantifiedExpression	getFormula()
org.openrdf.model.URI	getType()
void	setFormula(QuantifiedExpression e)

Methods inherited from class io.konig.cadl.CadlEntity

equals, getId, hashCode, setId

Methods inherited from class java.lang.Object

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

Constructor Detail

Attribute

public Attribute()

Method Detail

getType

public org.openrdf.model.URI getType()

Specified by:

getType in class CadlEntity

setFormula

public void setFormula(QuantifiedExpression e)

Specified by:

setFormula in interface HasFormula

getFormula

public QuantifiedExpression getFormula()

Specified by:

getFormula in interface HasFormula