com.clarkparsia.pellet.utils
Class TermFactory

java.lang.Object
  extended by com.clarkparsia.pellet.utils.TermFactory

public class TermFactory
extends java.lang.Object

Author:
Evren Sirin

Field Summary
static aterm.ATermAppl BOTTOM
           
static aterm.ATermAppl BOTTOM_LIT
           
static aterm.ATermAppl TOP
           
static aterm.ATermAppl TOP_LIT
           
 
Constructor Summary
TermFactory()
           
 
Method Summary
static aterm.ATermAppl all(aterm.ATermAppl r, aterm.ATermAppl c)
           
static aterm.ATermAppl and(aterm.ATermAppl... c)
           
static aterm.ATermAppl and(aterm.ATermAppl c1, aterm.ATermAppl c2)
           
static aterm.ATermAppl bnode(java.lang.String s)
           
static aterm.ATermAppl card(aterm.ATermAppl r, int n, aterm.ATermAppl c)
           
static aterm.ATermAppl hasValue(aterm.ATermAppl r, aterm.ATermAppl ind)
           
static aterm.ATermAppl inv(aterm.ATermAppl r)
           
static aterm.ATermList list(aterm.ATermAppl... args)
           
static aterm.ATermAppl literal(java.lang.String value)
           
static aterm.ATermAppl max(aterm.ATermAppl r, int n, aterm.ATermAppl c)
           
static aterm.ATermAppl min(aterm.ATermAppl r, int n, aterm.ATermAppl c)
           
static aterm.ATermAppl not(aterm.ATermAppl c)
           
static aterm.ATermAppl oneOf(aterm.ATermAppl... terms)
           
static aterm.ATermAppl or(aterm.ATermAppl... c)
           
static aterm.ATermAppl or(aterm.ATermAppl c1, aterm.ATermAppl c2)
           
static aterm.ATermAppl plainLiteral(java.lang.String value, java.lang.String lang)
           
static aterm.ATermAppl self(aterm.ATermAppl p)
           
static aterm.ATermAppl some(aterm.ATermAppl r, aterm.ATermAppl c)
           
static aterm.ATermAppl term(java.lang.String s)
           
static aterm.ATermAppl typedLiteral(java.lang.String value, java.lang.String dt)
           
static aterm.ATermAppl value(aterm.ATermAppl r)
           
static aterm.ATermAppl var(java.lang.String s)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

TOP

public static final aterm.ATermAppl TOP

BOTTOM

public static final aterm.ATermAppl BOTTOM

TOP_LIT

public static final aterm.ATermAppl TOP_LIT

BOTTOM_LIT

public static final aterm.ATermAppl BOTTOM_LIT
Constructor Detail

TermFactory

public TermFactory()
Method Detail

term

public static aterm.ATermAppl term(java.lang.String s)

bnode

public static aterm.ATermAppl bnode(java.lang.String s)

var

public static aterm.ATermAppl var(java.lang.String s)

list

public static aterm.ATermList list(aterm.ATermAppl... args)

not

public static aterm.ATermAppl not(aterm.ATermAppl c)

all

public static aterm.ATermAppl all(aterm.ATermAppl r,
                                  aterm.ATermAppl c)

some

public static aterm.ATermAppl some(aterm.ATermAppl r,
                                   aterm.ATermAppl c)

min

public static aterm.ATermAppl min(aterm.ATermAppl r,
                                  int n,
                                  aterm.ATermAppl c)

max

public static aterm.ATermAppl max(aterm.ATermAppl r,
                                  int n,
                                  aterm.ATermAppl c)

card

public static aterm.ATermAppl card(aterm.ATermAppl r,
                                   int n,
                                   aterm.ATermAppl c)

inv

public static aterm.ATermAppl inv(aterm.ATermAppl r)

literal

public static aterm.ATermAppl literal(java.lang.String value)

plainLiteral

public static aterm.ATermAppl plainLiteral(java.lang.String value,
                                           java.lang.String lang)

typedLiteral

public static aterm.ATermAppl typedLiteral(java.lang.String value,
                                           java.lang.String dt)

value

public static aterm.ATermAppl value(aterm.ATermAppl r)

and

public static aterm.ATermAppl and(aterm.ATermAppl c1,
                                  aterm.ATermAppl c2)

and

public static aterm.ATermAppl and(aterm.ATermAppl... c)

or

public static aterm.ATermAppl or(aterm.ATermAppl c1,
                                 aterm.ATermAppl c2)

or

public static aterm.ATermAppl or(aterm.ATermAppl... c)

hasValue

public static aterm.ATermAppl hasValue(aterm.ATermAppl r,
                                       aterm.ATermAppl ind)

oneOf

public static aterm.ATermAppl oneOf(aterm.ATermAppl... terms)

self

public static aterm.ATermAppl self(aterm.ATermAppl p)


Copyright © 2004 Evren Sirin. All Rights Reserved.