frege.runtime

Annotation Type Meta.Rho

@Retention(value=RUNTIME)
public static @interface Meta.Rho

the equivalent to a Rho

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
Meta.Context[]	cont
boolean	rhofun
int	rhotau
int	sigma

Element Detail

rhofun

public abstract boolean rhofun

Default:

true

cont

public abstract Meta.Context[] cont

Default:

{}

sigma

public abstract int sigma

Default:

0

rhotau

public abstract int rhotau

Default:

0