(v, t)
return Symbol("%s@%d" % (v.symbol_name(), t), v.symbol_type())
Builds an SMT variable representing v at time t
Builds an SMT variable representing v at time t
Builds an SMT variable representing v at time t
def at_time(v, t):
    """Builds an SMT variable representing v at time t"""
    return Symbol("%s@%d" % (v.symbol_name(), t), v.symbol_type())
def at_time ( v , t ) : return Symbol ( "%s@%d" % ( v . symbol_name ( ) , t ) , v . symbol_type ( ) )