compiler/edu.cornell.cs.apl.viaduct.security.solver/ConstraintSolver/variableCount

variableCount

fun variableCount(): Int
Content copied to clipboard

Return the number of variables in the constraint system.