Class DefaultConjunctiveQueryWithNegatedParts

java.lang.Object

fr.lirmm.graphik.integraal.core.DefaultConjunctiveQueryWithNegatedParts

All Implemented Interfaces:

ConjunctiveQueryWithNegatedParts, Query

public class DefaultConjunctiveQueryWithNegatedParts
extends Object
implements ConjunctiveQueryWithNegatedParts

Default implementation of a conjunctive query with explicit negated parts.

Author:

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

Constructor Summary

Constructors

Constructor	Description
DefaultConjunctiveQueryWithNegatedParts(ConjunctiveQueryWithNegatedParts query)	Creates a copy of the specified query with negated parts.
DefaultConjunctiveQueryWithNegatedParts(InMemoryAtomSet positiveAtomSet, List<InMemoryAtomSet> negatedParts)	Creates a query with negated parts and infers the answer variables from the positive part.
DefaultConjunctiveQueryWithNegatedParts(InMemoryAtomSet positiveAtomSet, List<InMemoryAtomSet> negatedParts, List<Term> ans)	Creates a query with negated parts and explicit answer variables.
DefaultConjunctiveQueryWithNegatedParts(String label, InMemoryAtomSet positiveAtomSet, List<InMemoryAtomSet> negatedParts)	Creates a labeled query with negated parts and infers answer variables from the positive part.
DefaultConjunctiveQueryWithNegatedParts(String label, InMemoryAtomSet positiveAtomSet, List<InMemoryAtomSet> negatedParts, List<Term> ans)	Creates a labeled query with negated parts and explicit answer variables.

Method Summary

Modifier and Type	Method	Description
void	appendTo(StringBuilder sb)
boolean	equals(ConjunctiveQueryWithNegatedParts other)	Compares this query with another one by identity.
boolean	equals(Object obj)
List<Term>	getAnswerVariables()	Returns the answer variables of the query.
String	getLabel()	The label (the name) for this query.
List<InMemoryAtomSet>	getNegatedParts()	Get the set of facts which must be false (at least one).
InMemoryAtomSet	getPositivePart()	Get the set of facts which must be true.
boolean	isBoolean()	Returns whether the query expects a boolean answer.
void	setLabel(String label)	Sets the query label.
String	toString()

Methods inherited from class Object

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

Constructor Details

DefaultConjunctiveQueryWithNegatedParts

public DefaultConjunctiveQueryWithNegatedParts(InMemoryAtomSet positiveAtomSet,
 List<InMemoryAtomSet> negatedParts)

Creates a query with negated parts and infers the answer variables from the positive part.

Parameters:

positiveAtomSet - the positive query body

negatedParts - the negated query parts

DefaultConjunctiveQueryWithNegatedParts

public DefaultConjunctiveQueryWithNegatedParts(String label,
 InMemoryAtomSet positiveAtomSet,
 List<InMemoryAtomSet> negatedParts)

Creates a labeled query with negated parts and infers answer variables from the positive part.

Parameters:

label - the query label

positiveAtomSet - the positive query body

negatedParts - the negated query parts

DefaultConjunctiveQueryWithNegatedParts

public DefaultConjunctiveQueryWithNegatedParts(InMemoryAtomSet positiveAtomSet,
 List<InMemoryAtomSet> negatedParts,
 List<Term> ans)

Creates a query with negated parts and explicit answer variables.

Parameters:

positiveAtomSet - the positive query body

negatedParts - the negated query parts

ans - the answer variables

DefaultConjunctiveQueryWithNegatedParts

public DefaultConjunctiveQueryWithNegatedParts(String label,
 InMemoryAtomSet positiveAtomSet,
 List<InMemoryAtomSet> negatedParts,
 List<Term> ans)

Creates a labeled query with negated parts and explicit answer variables.

Parameters:

label - the name of this query

positiveAtomSet - the positive part of the conjunction of atoms representing the query

negatedParts - a list of negated conjunctions of atoms

ans - the list of answer variables

DefaultConjunctiveQueryWithNegatedParts

public DefaultConjunctiveQueryWithNegatedParts(ConjunctiveQueryWithNegatedParts query)

Creates a copy of the specified query with negated parts.

Parameters:

query - the query to copy

Method Details

getLabel

public String getLabel()

Description copied from interface: ConjunctiveQueryWithNegatedParts

The label (the name) for this query.

Specified by:

getLabel in interface ConjunctiveQueryWithNegatedParts

Specified by:

getLabel in interface Query

Returns:

the label of this query.

setLabel

public void setLabel(String label)

Description copied from interface: Query

Sets the query label.

Specified by:

setLabel in interface Query

Parameters:

label - the new query label

getPositivePart

public InMemoryAtomSet getPositivePart()

Description copied from interface: ConjunctiveQueryWithNegatedParts

Get the set of facts which must be true.

Specified by:

getPositivePart in interface ConjunctiveQueryWithNegatedParts

Returns:

an atom set representing the atom conjunction of the query.

getNegatedParts

public List<InMemoryAtomSet> getNegatedParts()

Description copied from interface: ConjunctiveQueryWithNegatedParts

Get the set of facts which must be false (at least one).

Specified by:

getNegatedParts in interface ConjunctiveQueryWithNegatedParts

Returns:

a list of atom sets representing negated conjunctions of atoms.

getAnswerVariables

public List<Term> getAnswerVariables()

Returns the answer variables of the query.

Specified by:

getAnswerVariables in interface ConjunctiveQueryWithNegatedParts

Returns:

an Collection of Term representing the answer variables.

isBoolean

public boolean isBoolean()

Description copied from interface: Query

Returns whether the query expects a boolean answer.

Specified by:

isBoolean in interface Query

Returns:

true if the expected answer is boolean, false otherwise.

toString

public String toString()

Overrides:

toString in class Object

appendTo

public void appendTo(StringBuilder sb)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

equals

public boolean equals(ConjunctiveQueryWithNegatedParts other)

Compares this query with another one by identity.

Parameters:

other - the query to compare with

Returns:

true if both references are identical