19
SystemBrowser
X
–
Menu
N
...
../
convert/
emz3/
lib32/
lib64/
CommandLineServerInterface.js (not parsed)
CommandLineZ3.js (not parsed)
NaClZ3.js (not parsed)
ServerZ3.js (not parsed)
StrZ3.js (not parsed)
Z3BBBTests.js (not parsed)
Z3Server.js (not parsed)
Z3ServerInterface.js (not parsed)
-----
-----
-----
1
-----
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
>
<
1
search for: nodeJSURL
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
[extend] Global.lively.ide.CommandLineInterface>>getServerPlatform ("= URL.create(Config.nodeJSURL+'/NodeJSEvalServer/")
1 matches
searchOnServer
CodeSearch for nodeJSURL
X
–
Menu
tests.js:CSPTest:-- all --:testBacktalkPaperExample (proto)
X
–
Menu
N
...
../
babelsberg-lively.js (not parsed)
cassowary_ext.js (not parsed)
constraintinterpreter.js (not parsed)
core_ext.js (not parsed)
csp_ext.js (not parsed)
deltablue_ext.js (not parsed)
PerformanceTests.js (not parsed)
src_transform.js (not parsed)
src_transform_test.js (not parsed)
tests.js (not parsed)
uglify.js (not parsed)
-----
-----
-----
1
-----
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
>
<
1
pattern:
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
[] length
[Array] all(arr, iterator, context)
[Array] any(arr, iterator, context)
[Array] asListItemArray()
[Array] at(idx)
[Array] batchify(array, constrainedFunc, context)
[Array] clear(array)
[Array] clone(array)
[Array] collect(arr, iterator, context)
[Array] compact(array)
[Array] concat()
[Array] constructor()
[Array] delimWith(d)
[Array] detect(arr, iterator, context)
[Array] doAndContinue(array, iterator, endFunc, context)
[Array] each(arr, iterator, context)
[Array] entries()
[Array] equals(array, otherArray)
[Array] every()
[Array] filter()
[Array] filterByKey(arr, key)
[Array] find(arr, iterator, context)
[Array] findAll(arr, iterator, context)
[Array] first(array)
[Array] flatten(array)
[Array] forEach()
[Array] forEachShowingProgress(/*array, progressBar, iterator, labelFunc, whenDoneFunc, context or spec*/)
[Array] grep(arr, filter, context)
[Array] groupBy(array, iterator, context)
[Array] groupByKey(array, key)
[Array] histogram(data, binSpec)
[Array] include(array, object)
[Array] indexOf()
[Array] inject(array, memo, iterator, context)
[Array] intersect(array1, array2)
[Array] invoke(array, method, arg1, arg2, arg3, arg4, arg5, arg6)
[Array] join()
[Array] keys()
[Array] last(array)
[Array] lastIndexOf()
[Array] map()
[Array] mapAsync(array, options, iterator, callback)
backtalk.js:MyClass:-- all --
X
–
Menu
N
users/timfelgentreff/backtalk/
...
../
backtalk.js
Context
Solver
Variable
-- all --
default category
currentValueFor (proto)
initialize (proto)
1
2
3
4
5
6
7
8
9
10
Object
.
subclass
(
'backtalk.Context'
,
{
initialize
:
function
(
solver
)
{
if
(
solver
)
{
this
.
fromSolver
(
solver
)
;
}
}
,
currentValueFor
:
function
(
v
)
{
this
.
currentValuesDict
[
v
]
}
})
;
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
>
<
backtalk.js:Solver:-- all --
X
–
Menu
N
users/timfelgentreff/backtalk/
...
../
backtalk.js
Context
Solver
Variable
-- all --
default category
allSolutions (proto)
chooseAPreviousContext (proto)
chooseAVariable (proto)
chooseVariableAndValue (proto)
currentVariable (proto)
currentVariable (proto)
domainWipedOut (proto)
explorationFinished (proto)
exploreCspStep (proto)
firstSolution (proto)
initialize (proto)
propagateInstantiationFor (proto)
propagateInstantiationOfCurrentVariable (proto)
reset (proto)
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
}
}
,
get
currentVariable
(
)
{
return
this
.
_currentVariable
;
}
,
solution
:
function
(
)
{
if
(
!
this
.
solutionFound
(
))
{
return
;
}
else
{
return
this
.
variables
(
)
.
inject
({
}
,
function
(
solution
,
v
)
{
solution
[
v
]
=
v
.
currentValue
;
return
solution
;
})
;
}
}
,
variables
:
function
(
)
{
return
this
.
csp
.
variables
;
}
,
domainWipedOut
:
function
(
)
{
if
(
this
.
currentVariable
&&
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
>
<
users.timfelgentreff.backtalk.backtalk added to local requirements
✗