, including all inherited members.
addFldRel(InstanceLiteral l, GlobalVariable g, List< InstanceLiteral > modLits) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [private] |
addRelForVar(ForgeVariable var, String name) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [protected] |
addRelForVar(String name, Expression expr) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [private] |
arrElemsConstr(FldRelElem fre) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [private] |
arrLenConstr(FldRelElem fre) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [private] |
boundLocalVar(LocalVariable var, TupleFactory f, Bounds b) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [protected] |
checkPre(SpecCase cs, ForgeConverter fconv) | edu.mit.csail.sdg.squander.engine.SquanderImpl | [protected] |
conv2tuples(ForgeConstant fc, TupleFactory f) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
conv2tuples(ObjTupleSet fc, TupleFactory f) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
convAtom(ForgeAtom a) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
convertSpec(ForgeExpression spec) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [protected] |
convToJMethod(Object caller, String clsName, String methodName, Class<?>[] methodParams) | edu.mit.csail.sdg.squander.engine.SquanderImpl | [protected] |
createBounds() | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [protected] |
createRelations() | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [protected] |
createUniverse() | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
cs | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
ensurePost(SpecCase cs, ForgeConverter fconv) | edu.mit.csail.sdg.squander.engine.SquanderImpl | [protected] |
exeMethod(SquanderReporter reporter, Object caller, JMethod m, Object[] methodArgs) | edu.mit.csail.sdg.squander.engine.SquanderImpl | [protected] |
exeSpec(ForgeExpression spec, Set< GlobalVariable > modifies, ForgeConverter fconv) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
falseRelation | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
fconv | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
findFldRelsForVar(GlobalVariable var) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [private] |
findMaxArrayLength(GlobalVariable var) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
fldRels | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [private] |
forgeScene | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
form2expr(Formula form) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
getBounds(ForgeVariable var) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [private] |
getEval(Iterator< Solution > solutions) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [protected] |
getExtent(ForgeVariable var) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [private] |
edu::mit::csail::sdg::squander::engine::kk::SquanderKodkodImpl.getExtent(GlobalVariable var, ForgeConstant lower) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
getLastResult() | edu.mit.csail.sdg.squander.engine.SquanderImpl | |
getModLits(GlobalVariable g, ForgeExpression expr) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [private] |
getModsForPostState(ForgeConverter fconv, SpecCase sc) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [protected] |
getPostLower(GlobalVariable g, ForgeConstant initialBound) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
getPostSpec(SpecCase cs, ForgeConverter fconv) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [protected] |
getPostUpper(GlobalVariable var, ForgeConstant postLower) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
getPreSpec(SpecCase cs) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [protected] |
getSpec(ForgeConverter fconv) | edu.mit.csail.sdg.squander.engine.SquanderImpl | [protected] |
init() | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [protected] |
ints | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
intsExpr() | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [private] |
lit2rel | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
lowerBounds | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
magic(Object caller, String clsName, String methodName, Class<?>[] methodParams, Object[] methodArgs) | edu.mit.csail.sdg.squander.engine.SquanderImpl | [package] |
magic(Object caller, Method method, Object[] methodArgs) | edu.mit.csail.sdg.squander.engine.SquanderImpl | [package] |
magic(Object caller, JMethod method, Object[] methodArgs) | edu.mit.csail.sdg.squander.engine.SquanderImpl | [package] |
modifies | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
modVal | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
node2expr(Node node) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
node2form(Node node) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
node2int(Node node) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
nonnegs() | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
nonnegs(int upperBound) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
one(Expression rel) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [private] |
program | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
relName(ForgeVariable var) | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
reporter | edu.mit.csail.sdg.squander.engine.SquanderImpl | [protected] |
SquanderImpl() | edu.mit.csail.sdg.squander.engine.SquanderImpl | |
SquanderKodkod2Impl() | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | |
SquanderKodkodImpl() | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | |
trueRelation | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
type2expr | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
upperBounds | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
var2rel | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl | [protected] |
wellformed() | edu.mit.csail.sdg.squander.engine.kk.SquanderKodkod2Impl | [private] |