Package tools.refinery.interpreter.matchers.psystem.basicenumerables

Class RepresentativeElectionConstraint

java.lang.Object

tools.refinery.interpreter.matchers.psystem.BasePConstraint

tools.refinery.interpreter.matchers.psystem.EnumerablePConstraint

tools.refinery.interpreter.matchers.psystem.KeyedEnumerablePConstraint<PQuery>

tools.refinery.interpreter.matchers.psystem.basicenumerables.RepresentativeElectionConstraint

All Implemented Interfaces:

IMultiQueryReference, IQueryReference, ITypeInfoProviderConstraint, PConstraint, PTraceable

public class RepresentativeElectionConstraint
extends KeyedEnumerablePConstraint<PQuery>
implements IQueryReference, ITypeInfoProviderConstraint

Field Summary

Fields inherited from class tools.refinery.interpreter.matchers.psystem.KeyedEnumerablePConstraint

supplierKey

Fields inherited from class tools.refinery.interpreter.matchers.psystem.EnumerablePConstraint

variablesTuple

Fields inherited from class tools.refinery.interpreter.matchers.psystem.BasePConstraint

pBody

Fields inherited from interface tools.refinery.interpreter.matchers.psystem.PConstraint

COMPARE_BY_MONOTONOUS_ID

Constructor Summary

Constructors

Constructor	Description
RepresentativeElectionConstraint(PBody pBody, Tuple variablesTuple, PQuery supplierKey, Connectivity connectivity)

Method Summary

Modifier and Type	Method	Description
Connectivity	getConnectivity()
Set<TypeJudgement>	getImpliedJudgements(IQueryMetaContext context)	Returns type information implied by this constraint.
PQuery	getReferredQuery()
protected String	keyToString()

Methods inherited from class tools.refinery.interpreter.matchers.psystem.KeyedEnumerablePConstraint

getSupplierKey, toStringRestRest

Methods inherited from class tools.refinery.interpreter.matchers.psystem.EnumerablePConstraint

doReplaceVariable, getDeducedVariables, getVariableInTuple, getVariablesTuple, toStringRest

Methods inherited from class tools.refinery.interpreter.matchers.psystem.BasePConstraint

checkSanity, delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.interpreter.matchers.psystem.IQueryReference

getReferredQueries

Methods inherited from interface tools.refinery.interpreter.matchers.psystem.PConstraint

checkSanity, delete, getAffectedVariables, getBody, getDeducedVariables, getFunctionalDependencies, getMonotonousID, replaceVariable

Constructor Details

RepresentativeElectionConstraint

public RepresentativeElectionConstraint(PBody pBody,
 Tuple variablesTuple,
 PQuery supplierKey,
 Connectivity connectivity)

Method Details

getConnectivity

public Connectivity getConnectivity()

getReferredQuery

public PQuery getReferredQuery()

Specified by:

getReferredQuery in interface IQueryReference

getImpliedJudgements

public Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)

Description copied from interface: ITypeInfoProviderConstraint

Returns type information implied by this constraint.

Specified by:

getImpliedJudgements in interface ITypeInfoProviderConstraint

keyToString

protected String keyToString()

Specified by:

keyToString in class KeyedEnumerablePConstraint<PQuery>