Symbol: FME_DISPROVED
usr/src/cmd/fm/modules/common/eversholt/fme.c
1467
if (state == FME_DISPROVED) {
usr/src/cmd/fm/modules/common/eversholt/fme.c
1704
if (state != FME_DISPROVED) {
usr/src/cmd/fm/modules/common/eversholt/fme.c
3506
case FME_DISPROVED:
usr/src/cmd/fm/modules/common/eversholt/fme.c
3747
} else if (result == FME_DISPROVED) {
usr/src/cmd/fm/modules/common/eversholt/fme.c
3813
return_value = FME_DISPROVED;
usr/src/cmd/fm/modules/common/eversholt/fme.c
3820
if (return_value == FME_DISPROVED) {
usr/src/cmd/fm/modules/common/eversholt/fme.c
3865
return (FME_DISPROVED);
usr/src/cmd/fm/modules/common/eversholt/fme.c
3889
return_value = FME_DISPROVED;
usr/src/cmd/fm/modules/common/eversholt/fme.c
3903
case FME_DISPROVED:
usr/src/cmd/fm/modules/common/eversholt/fme.c
3995
case FME_DISPROVED:
usr/src/cmd/fm/modules/common/eversholt/fme.c
4024
return (FME_DISPROVED);
usr/src/cmd/fm/modules/common/eversholt/fme.c
4137
case FME_DISPROVED:
usr/src/cmd/fm/modules/common/eversholt/fme.c
4151
return (FME_DISPROVED);
usr/src/cmd/fm/modules/common/eversholt/fme.c
4192
if (rtr != FME_DISPROVED) {
usr/src/cmd/fm/modules/common/eversholt/fme.c
4195
if (otr != FME_DISPROVED) {
usr/src/cmd/fm/modules/common/eversholt/fme.c
4207
if ((otr != FME_DISPROVED) &&
usr/src/cmd/fm/modules/common/eversholt/fme.c
4211
if (rtr == FME_DISPROVED) {
usr/src/cmd/fm/modules/common/eversholt/fme.c
4217
return (FME_DISPROVED);
usr/src/cmd/fm/modules/common/eversholt/fme.c
4219
if ((otr == FME_DISPROVED) && is_problem(ep->t)) {
usr/src/cmd/fm/modules/common/eversholt/fme.c
4225
return (FME_DISPROVED);
usr/src/cmd/fm/modules/common/eversholt/fme.c
4227
if (otr == FME_DISPROVED) {
usr/src/cmd/fm/modules/common/eversholt/fme.c
4233
return (FME_DISPROVED);
usr/src/cmd/fm/modules/common/eversholt/fme.c
948
case FME_DISPROVED: return ("DISPROVED");