Đây là lệnh cudf2lp có thể chạy trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks bằng cách sử dụng một trong nhiều máy trạm trực tuyến miễn phí của chúng tôi như Ubuntu Online, Fedora Online, trình mô phỏng trực tuyến Windows hoặc trình mô phỏng trực tuyến MAC OS
CHƯƠNG TRÌNH:
TÊN
cudf2lp - bộ tiền xử lý cho tài liệu CUDF
SYNOPSIS
cudf2lp [TÙY CHỌN] ... [FILE]
MÔ TẢ
cudf2lp đơn giản hóa một đặc tả CUDF đã cho và chuyển đổi nó thành một tập dữ kiện phù hợp với
được xử lý bằng bộ giải mã và nối đất ASP - ví dụ: gringo(1) kẹp(1). Nó là
dự định được gọi bởi aspcud(1), nhưng cũng có thể được sử dụng độc lập.
Nó đọc từ FILE đã cho và từ đầu vào tiêu chuẩn nếu bị bỏ qua.
LỰA CHỌN
cudf2lp hỗ trợ các tùy chọn sau:
-h, --Cứu giúp
in văn bản trợ giúp
-v, --phiên bản
phiên bản in và thông tin giấy phép
-V, --dài dòng[=N]
đặt mức độ chi tiết thành N hoặc tối đa nếu bỏ qua
-c TÍCH CỰC, --tiêu chuẩn=TÍCH CỰC
tiền xử lý cho các tiêu chí tối ưu hóa cụ thể (mặc định là không có):
TÍCH CỰC: không có | hoang tưởng | hợp thời trang | chí mạng\(','chí mạng\)*
chí mạng : ĐĂNG KÝ đếm(SET) |
| đăng ký Tổng(SET,ATTR)
| đăng ký unsat_recommends(SET)
| đăng ký căn chỉnh(SET,ATTR,ATTR)
| đăng ký không được cập nhật(SET)
ĐĂNG KÝ : '+' | '-'
ATTR : Tên thuộc tính CUDF
SET : giải pháp | đã thay đổi | mới | đã xóa | lên | xuống
| yêu cầu cài đặt | yêu cầu nâng cấp | lời yêu cầu
để tương thích ngược, có thể sử dụng các bí danh sau:
mới = đếm (mới)
đã xóa = đếm (đã xóa)
đã thay đổi = đếm (đã thay đổi)
notuptodate = notuptodate(giải pháp)
unsat_recommends = unsat_recommends(giải pháp)
sum(name) = sum(name,solution)
--addall
vô hiệu hóa tiền xử lý và thêm tất cả các gói
Sử dụng cudf2lp trực tuyến bằng dịch vụ onworks.net