com.clarkparsia.pellet.datatypes

Class DNF

java.lang.Object

com.clarkparsia.pellet.datatypes.DNF

public class DNF
extends Object

Title: Disjunction Normal Form

Description: Static implementation to translate ATermAppl descriptions of complex data ranges to disjunction normal form

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Mike Smith

Constructor Summary

Constructors

Constructor and Description
DNF()

Method Summary

Modifier and Type	Method and Description
static aterm.ATermAppl	dnf(aterm.ATermAppl term) Get disjunctive normal form for an expression

Methods inherited from class java.lang.Object

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

Constructor Detail

DNF

public DNF()

Method Detail

dnf

public static aterm.ATermAppl dnf(aterm.ATermAppl term)

Get disjunctive normal form for an expression

Parameters:

term - The expression

Returns:

term in DNF