Este é o comando lpsbinary que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
lpsbinary - substitui variáveis de classificação finitas por vetores de variáveis booleanas em um LPS
SINOPSE
lpsbinário [OPÇÃO] ... [NO ARQUIVO [ARQUIVO]]
DESCRIÇÃO
Substitua as variáveis de classificação finitas por vetores de variáveis booleanas no LPS em INFILE e
escreva o resultado em OUTFILE. Se INFILE não estiver presente, stdin é usado. Se OUTFILE não for
presente, stdout é usado
OPÇÕES
OPÇÃO pode ser qualquer um dos seguintes:
-QNUM, --qlimit=NUM
limite a enumeração de quantificadores a variáveis NUM. (Padrão NUM = 1000, NUM = 0 para
ilimitado).
-rNOME, --reescritor=NOME
usar estratégia de reescrita NOME: 'jitty' jitty reescrita (padrão) 'jittyc' compilado
jitty reescrevendo 'jittyp' jitty reescrevendo com provador
--tempos[=ARQUIVO]
anexar medições de tempo a ARQUIVO. As medições são gravadas no erro padrão se
nenhum FILE é fornecido
Opções padrão:
-q, --quieto
não exibir mensagens de aviso
-v, --verbose
exibir mensagens intermediárias curtas
-d, --depurar
exibir mensagens intermediárias detalhadas
--log-level=NÍVEL
exibir mensagens intermediárias até e incluindo o nível
-h, --Socorro
exibir informações de ajuda
--versão
exibir informações da versão
Use lpsbinary online usando serviços onworks.net
