uk.ac.manchester.cs.jfact.kernel.dl.axioms

Class Axioms

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.dl.axioms.Axioms

public class Axioms
extends Object

Axiom utilities.

Constructor Summary

Constructors

Constructor and Description
Axioms()

Method Summary

Methods

Modifier and Type	Method and Description
static AxiomInterface	dummy()
static Expression	dummyExpression()

Methods inherited from class java.lang.Object

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

Constructor Detail

Axioms

public Axioms()

Method Detail

dummyExpression

@Nonnull
public static Expression dummyExpression()

Returns:

a dummy implementation of Expression

dummy

@Nonnull
public static AxiomInterface dummy()

Returns:

a dummy implementation of AxiomInterface