Interface AtomFactory

All Known Implementing Classes:

DefaultAtomFactory

public interface AtomFactory

Factory for creating atoms and distinguished truth atoms.

Author:

Clément Sipieter (INRIA) <clement@6pi.fr>

Method Summary

Modifier and Type	Method	Description
Atom	create(Atom atom)	Creates a copy of the specified atom.
Atom	create(Predicate predicate)	Creates an atom with the specified predicate and no term.
Atom	create(Predicate predicate, Term... terms)	Creates an atom with the specified predicate and term array.
Atom	create(Predicate predicate, List<Term> terms)	Creates an atom with the specified predicate and term list.
Atom	createEquality(Term t1, Term t2)	Creates an equality atom between two terms.
Atom	getBottom()	Returns the distinguished bottom atom.
Atom	getTop()	Returns the distinguished top atom.

Method Details

createEquality

Atom createEquality(Term t1,
 Term t2)

Creates an equality atom between two terms.

Parameters:

t1 - the left-hand term

t2 - the right-hand term

Returns:

the created equality atom

create

Atom create(Predicate predicate)

Creates an atom with the specified predicate and no term.

Parameters:

predicate - the atom predicate

Returns:

the created atom

create

Atom create(Predicate predicate,
 List<Term> terms)

Creates an atom with the specified predicate and term list.

Parameters:

predicate - the atom predicate

terms - the atom terms

Returns:

the created atom

create

Atom create(Predicate predicate,
 Term... terms)

Creates an atom with the specified predicate and term array.

Parameters:

predicate - the atom predicate

terms - the atom terms

Returns:

the created atom

create

Atom create(Atom atom)

Creates a copy of the specified atom.

Parameters:

atom - the atom to copy

Returns:

the copied atom

getTop

Atom getTop()

Returns the distinguished top atom.

Returns:

the top atom

getBottom

Atom getBottom()

Returns the distinguished bottom atom.

Returns:

the bottom atom