protected static BuiltInFunctionSymbolicValue |
BuiltInProperties.method(Constraint returnConstraint) |
protected static BuiltInFunctionSymbolicValue |
BuiltInProperties.method(Constraint returnConstraint,
BuiltInFunctionSymbolicValue.ArgumentsConstrainer argumentsConstrainer,
List<Constraint> parameterTypes) |
protected static BuiltInFunctionSymbolicValue |
BuiltInProperties.method(Constraint returnConstraint,
BuiltInFunctionSymbolicValue.ArgumentsConstrainer argumentsConstrainer,
List<Constraint> parameterTypes,
boolean hasSideEffect) |
protected static BuiltInFunctionSymbolicValue |
BuiltInProperties.method(Constraint returnConstraint,
IntFunction<Constraint> signature) |
protected static BuiltInFunctionSymbolicValue |
BuiltInProperties.method(Constraint returnConstraint,
IntFunction<Constraint> signature,
boolean hasSideEffect) |
protected static BuiltInFunctionSymbolicValue |
BuiltInProperties.method(Constraint returnConstraint,
List<Constraint> parameterTypes) |
protected static BuiltInFunctionSymbolicValue |
BuiltInProperties.method(Constraint returnConstraint,
List<Constraint> parameterTypes,
boolean hasSideEffect) |