Uses of Class
org.projog.core.predicate.builtin.clp.ClpVariable
Packages that use ClpVariable
Package
Description
Predicates to support constraint logic programming.
-
Uses of ClpVariable in org.projog.core.predicate.builtin.clp
Fields in org.projog.core.predicate.builtin.clp declared as ClpVariableFields in org.projog.core.predicate.builtin.clp with type parameters of type ClpVariableModifier and TypeFieldDescriptionprivate final Map<ClpVariable, org.projog.clp.Variable> Resolve.ClpResolvePredicate.variablesMethods in org.projog.core.predicate.builtin.clp that return ClpVariableMethods in org.projog.core.predicate.builtin.clp that return types with arguments of type ClpVariableModifier and TypeMethodDescriptionprivate Set<ClpVariable> Resolve.getAllVariables(Term arg) find all variables in input argument, and all variables connected to them via constraintsprivate Set<ClpVariable> Resolve.getVariablesFromInputArgument(Term arg) find all variables in the input argument - input argument could be a single variable or a list of variablesMethods in org.projog.core.predicate.builtin.clp with parameters of type ClpVariableModifier and TypeMethodDescriptionprivate voidCoreConstraintStore.addConstraints(ClpVariable copy) private voidBooleanConstraintPredicate.restrictValues(ClpVariable c) private static booleanClpVariable.unifyClpVariable(ClpVariable a, Term b) Method parameters in org.projog.core.predicate.builtin.clp with type arguments of type ClpVariableModifier and TypeMethodDescriptionprivate org.projog.clp.BruteForceSearchResolve.createBruteForceSearch(org.projog.clp.ClpConstraintStore.Builder builder, Map<ClpVariable, org.projog.clp.Variable> variables) org.projog.clp.ConstraintBooleanConstraintPredicate.createConstraint(Term[] args, Set<ClpVariable> vars) org.projog.clp.ConstraintConstraintFactory.createConstraint(Term[] args, Set<ClpVariable> vars) org.projog.clp.ConstraintNumericConstraintPredicate.createConstraint(Term[] args, Set<ClpVariable> vars) private Set<org.projog.clp.Constraint> Resolve.getConstraints(Set<ClpVariable> variables) return all constraints of all of the given variablesprivate org.projog.clp.ConstraintBooleanConstraintPredicate.toConstraint(Term t, Set<ClpVariable> vars) org.projog.clp.ExpressionExpressionFactories.toExpression(Term t, Set<ClpVariable> vars) Constructors in org.projog.core.predicate.builtin.clp with parameters of type ClpVariableConstructor parameters in org.projog.core.predicate.builtin.clp with type arguments of type ClpVariableModifierConstructorDescriptionprivateClpResolvePredicate(org.projog.clp.BruteForceSearch bruteForceSearch, Map<ClpVariable, org.projog.clp.Variable> variables)