fr.lirmm.graphik.graal.core

Class DefaultRule

java.lang.Object

fr.lirmm.graphik.graal.core.AbstractRule

fr.lirmm.graphik.graal.core.DefaultRule

All Implemented Interfaces:

Rule, AppendableToStringBuilder, Comparable<Rule>

Direct Known Subclasses:

DefaultNegativeConstraint

public class DefaultRule
extends AbstractRule

Author:

Clément Sipieter (INRIA)

Constructor Summary

Constructors

Constructor and Description
DefaultRule()
DefaultRule(CloseableIteratorWithoutException<Atom> body, CloseableIteratorWithoutException<Atom> head)
DefaultRule(InMemoryAtomSet body, InMemoryAtomSet head)
DefaultRule(Rule rule)
DefaultRule(String label, CloseableIteratorWithoutException<Atom> body, CloseableIteratorWithoutException<Atom> head)
DefaultRule(String label, InMemoryAtomSet body, InMemoryAtomSet head)

Method Summary

Modifier and Type	Method and Description
InMemoryAtomSet	getBody() Get the body (the hypothesis) of this rule.
Set<Constant>	getConstants() Get all constants of this rule.
Set<Variable>	getExistentials() Compute and return the set of existential variables of this rule.
Set<Variable>	getFrontier() Compute and return the set of frontier variables of this rule.
InMemoryAtomSet	getHead() Get the head (the conclusion) of this rule.
String	getLabel() Get the label (the name) of this rule.
Set<Literal>	getLiterals() Get all literals of this rule.
Set<Term>	getTerms() Get all terms of this rule.
Set<Term>	getTerms(Term.Type type) Deprecated.
Set<Variable>	getVariables() Get all variables of this rule.
void	setBody(InMemoryAtomSet b)
void	setHead(InMemoryAtomSet h)
void	setLabel(String label) Set the label (the name) of this rule.

Methods inherited from class fr.lirmm.graphik.graal.core.AbstractRule

appendTo, compareTo, equals, equals, hashCode, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultRule

public DefaultRule()

DefaultRule

public DefaultRule(CloseableIteratorWithoutException<Atom> body,
                   CloseableIteratorWithoutException<Atom> head)

DefaultRule

public DefaultRule(String label,
                   CloseableIteratorWithoutException<Atom> body,
                   CloseableIteratorWithoutException<Atom> head)

DefaultRule

public DefaultRule(InMemoryAtomSet body,
                   InMemoryAtomSet head)

DefaultRule

public DefaultRule(String label,
                   InMemoryAtomSet body,
                   InMemoryAtomSet head)

DefaultRule

public DefaultRule(Rule rule)

Method Detail

getBody

public InMemoryAtomSet getBody()

Description copied from interface: Rule

Get the body (the hypothesis) of this rule.

Returns:

the body of this rule.

setBody

public void setBody(InMemoryAtomSet b)

getLabel

public String getLabel()

Description copied from interface: Rule

Get the label (the name) of this rule.

Returns:

the label of this rule.

setLabel

public void setLabel(String label)

Description copied from interface: Rule

Set the label (the name) of this rule.

getHead

public InMemoryAtomSet getHead()

Description copied from interface: Rule

Get the head (the conclusion) of this rule.

Returns:

the head of this rule.

setHead

public void setHead(InMemoryAtomSet h)

getTerms

public Set<Term> getTerms()

Description copied from interface: Rule

Get all terms of this rule.

Returns:

a Set of all Term related to this Rule.

getVariables

public Set<Variable> getVariables()

Description copied from interface: Rule

Get all variables of this rule.

Returns:

a Set of all variables related to this Rule.

getConstants

public Set<Constant> getConstants()

Description copied from interface: Rule

Get all constants of this rule.

Returns:

a Set of all constants related to this Rule.

getLiterals

public Set<Literal> getLiterals()

Description copied from interface: Rule

Get all literals of this rule.

Returns:

a Set of all literals related to this Rule.

getTerms

@Deprecated
public Set<Term> getTerms(Term.Type type)

Deprecated.

Description copied from interface: Rule

Get terms by Type.

Returns:

a Set of all Term of the specified type related to this Rule.

getFrontier

public Set<Variable> getFrontier()

Description copied from interface: Rule

Compute and return the set of frontier variables of this rule.

Returns:

a Set containing the frontier variables of this rule.

getExistentials

public Set<Variable> getExistentials()

Description copied from interface: Rule

Compute and return the set of existential variables of this rule.

Returns:

a Set containing the existential variables of this rule.