cspom
.
compiler
Types
Related Doc:
package compiler
trait
Types
extends
ConstraintCompiler
Linear Supertypes
ConstraintCompiler
,
LazyLogging
,
AnyRef
,
Any
Known Subclasses
CSPOMTypes
Ordering
Alphabetic
By Inheritance
Inherited
Types
ConstraintCompiler
LazyLogging
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
type
A
=
Map
[
CSPOMExpression
[_],
CSPOMExpression
[_]]
Definition Classes
Types
→
ConstraintCompiler
Abstract Value Members
abstract
def
types
:
PartialFunction
[
CSPOMConstraint
[_],
A
]
Concrete Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
addCtr
(
c:
Seq
[
CSPOMConstraint
[_]]
,
in:
CSPOM
)
:
Delta
Definition Classes
ConstraintCompiler
def
addCtr
(
c:
CSPOMConstraint
[_]
,
in:
CSPOM
)
:
Delta
Definition Classes
ConstraintCompiler
def
applyDomain
(
v:
SimpleExpression
[
Int
]
,
reduced:
RangeSet
[
Infinitable
]
)
:
SimpleExpression
[
Int
]
Definition Classes
ConstraintCompiler
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
compile
(
c:
CSPOMConstraint
[_]
,
p:
CSPOM
,
d:
A
)
:
Delta
Definition Classes
Types
→
ConstraintCompiler
def
constraintMatcher
:
PartialFunction
[
CSPOMConstraint
[_],
A
]
Definition Classes
ConstraintCompiler
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
lazy val
logger
:
Logger
Attributes
protected
Definition Classes
LazyLogging
def
matchConstraint
(
c:
CSPOMConstraint
[_]
)
:
Option
[
A
]
Definition Classes
ConstraintCompiler
def
matcher
:
PartialFunction
[(
CSPOMConstraint
[_],
CSPOM
),
A
]
Definition Classes
ConstraintCompiler
def
mtch
(
constraint:
CSPOMConstraint
[_]
,
problem:
CSPOM
)
:
Option
[
Map
[
CSPOMExpression
[_],
CSPOMExpression
[_]]]
Definition Classes
Types
→
ConstraintCompiler
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
reduceDomain
(
v:
SimpleExpression
[
Boolean
]
,
d:
Boolean
)
:
SimpleExpression
[
Boolean
]
Definition Classes
ConstraintCompiler
def
reduceDomain
(
v:
SimpleExpression
[
Int
]
,
d:
RangeSet
[
Infinitable
]
)
:
SimpleExpression
[
Int
]
Definition Classes
ConstraintCompiler
def
reduceDomain
(
v:
SimpleExpression
[
Int
]
,
d:
Interval
[
Infinitable
]
)
:
SimpleExpression
[
Int
]
Definition Classes
ConstraintCompiler
def
removeCtr
(
c:
CSPOMConstraint
[_]
,
in:
CSPOM
)
:
Delta
Definition Classes
ConstraintCompiler
def
removeCtr
(
c:
Seq
[
CSPOMConstraint
[_]]
,
in:
CSPOM
)
:
Delta
Definition Classes
ConstraintCompiler
def
replace
[
T
,
S <:
T
]
(
wh:
CSPOMExpression
[
T
]
,
by:
CSPOMExpression
[
S
]
,
in:
CSPOM
)
(
implicit
arg0:
scala.reflect.api.JavaUniverse.TypeTag
[
T
]
)
:
Delta
Definition Classes
ConstraintCompiler
def
replaceCtr
(
which:
Seq
[
CSPOMConstraint
[_]]
,
by:
Seq
[
CSPOMConstraint
[_]]
,
in:
CSPOM
)
:
Delta
Definition Classes
ConstraintCompiler
def
replaceCtr
(
which:
CSPOMConstraint
[_]
,
by:
Seq
[
CSPOMConstraint
[_]]
,
in:
CSPOM
)
:
Delta
Definition Classes
ConstraintCompiler
def
replaceCtr
(
which:
Seq
[
CSPOMConstraint
[_]]
,
by:
CSPOMConstraint
[_]
,
in:
CSPOM
)
:
Delta
Definition Classes
ConstraintCompiler
def
replaceCtr
(
which:
CSPOMConstraint
[_]
,
by:
CSPOMConstraint
[_]
,
in:
CSPOM
)
:
Delta
Definition Classes
ConstraintCompiler
def
selfPropagation
:
Boolean
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
ConstraintCompiler
→ AnyRef → Any
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
ConstraintCompiler
Inherited from
LazyLogging
Inherited from
AnyRef
Inherited from
Any
Ungrouped