Resolve

java.lang.Object

org.projog.core.predicate.AbstractPredicateFactory

org.projog.core.predicate.builtin.clp.Resolve

All Implemented Interfaces:: KnowledgeBaseConsumer, PredicateFactory

public final class Resolve extends AbstractPredicateFactory

label([X]) - assigns concrete values to the given CLP variables.

Nested Class Summary

Nested Classes

Modifier and Type

Class

Description

private static final class

Resolve.ClpResolvePredicate
Constructor Summary

Constructors

Constructor

Description

Resolve()
Method Summary

Modifier and Type

Method

Description

private org.projog.clp.BruteForceSearch

createBruteForceSearch(org.projog.clp.ClpConstraintStore.Builder builder, Map<ClpVariable, org.projog.clp.Variable> variables)

private Set<ClpVariable>

getAllVariables(Term arg)

find all variables in input argument, and all variables connected to them via constraints

private Set<org.projog.clp.Constraint>

getConstraints(Set<ClpVariable> variables)

return all constraints of all of the given variables

Predicate

getPredicate(Term arg)

private Set<ClpVariable>

getVariablesFromInputArgument(Term arg)

find all variables in the input argument - input argument could be a single variable or a list of variables

Methods inherited from class AbstractPredicateFactory
getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicate, getPredicate, getPredicate, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface PredicateFactory
isAlwaysCutOnBacktrack

Constructor Details
- Resolve
  
  public Resolve()
Method Details
- getPredicate
  
  public Predicate getPredicate(Term arg)
  
  Overrides:
  
  getPredicate in class AbstractPredicateFactory
- getAllVariables
  
  private Set<ClpVariable> getAllVariables(Term arg)
  
  find all variables in input argument, and all variables connected to them via constraints
- getVariablesFromInputArgument
  
  private Set<ClpVariable> getVariablesFromInputArgument(Term arg)
  
  find all variables in the input argument - input argument could be a single variable or a list of variables
- getConstraints
  
  private Set<org.projog.clp.Constraint> getConstraints(Set<ClpVariable> variables)
  
  return all constraints of all of the given variables
- createBruteForceSearch
  
  private org.projog.clp.BruteForceSearch createBruteForceSearch(org.projog.clp.ClpConstraintStore.Builder builder, Map<ClpVariable, org.projog.clp.Variable> variables)