Package org.projog.clp

Class ClpConstraintStore.Enforce

java.lang.Object

org.projog.clp.ClpConstraintStore.Enforce

Enclosing class:

ClpConstraintStore

public static class ClpConstraintStore.Enforce
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private final ClpConstraintStore.Builder	builder
private final Expression	expression

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Enforce(ClpConstraintStore.Builder builder, Expression expression)

Method Summary

Modifier and Type	Method	Description
void	between(long min, long max)
boolean	equals(Object o)	Deprecated.
void	equalTo(Expression opposite)
void	equivalentTo(Constraint equivalent)
void	lessThan(Expression opposite)
void	lessThanOrEqualTo(Expression opposite)
void	notEqualTo(Expression opposite)

Methods inherited from class java.lang.Object

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

Field Details

builder

private final ClpConstraintStore.Builder builder

expression

private final Expression expression

Constructor Details

Enforce

private Enforce(ClpConstraintStore.Builder builder,
 Expression expression)

Method Details

equalTo

public void equalTo(Expression opposite)

notEqualTo

public void notEqualTo(Expression opposite)

lessThan

public void lessThan(Expression opposite)

lessThanOrEqualTo

public void lessThanOrEqualTo(Expression opposite)

between

public void between(long min,
 long max)

equivalentTo

public void equivalentTo(Constraint equivalent)

equals

@Deprecated
public boolean equals(Object o)

Deprecated.

Overrides:

equals in class Object